release: v0.7.2 #70
Reference in New Issue
Block a user
Delete Branch "release/v0.7.2"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Automated version bump and checksum update for v0.7.2. Created manually because the release workflow's gh CLI install step failed on the ARC runner.