Skip to content

Actions: verus-lang/verusfmt

Actions

Release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
127 workflow runs
127 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make axoupdater an optional dependency Release #129: Pull request #109 synchronize by parno
December 2, 2024 16:09 1m 8s optional-updater
optional-updater
December 2, 2024 16:09 1m 8s
Make axoupdater an optional dependency Release #128: Pull request #109 opened by jaybosamiya
December 1, 2024 04:00 18s optional-updater
optional-updater
December 1, 2024 04:00 18s
Verus snapshot update Release #127: Pull request #108 reopened by jaybosamiya
December 1, 2024 03:41 21s verus-snapshot-update
verus-snapshot-update
December 1, 2024 03:41 21s
Verus snapshot update Release #126: Pull request #105 reopened by jaybosamiya-ms
November 1, 2024 18:48 27s verus-snapshot-update
verus-snapshot-update
November 1, 2024 18:48 27s
chore: dependency updates Release #125: Pull request #104 opened by jaybosamiya-ms
October 24, 2024 22:34 17s jb-dependency-improvements
jb-dependency-improvements
October 24, 2024 22:34 17s
chore: bump the minor version Release #124: Commit 5db1365 pushed by jaybosamiya-ms
October 24, 2024 22:13 8m 28s v0.5.0
v0.5.0
October 24, 2024 22:13 8m 28s
Improve handling of inner docstring comments Release #123: Pull request #103 opened by jaybosamiya-ms
October 10, 2024 18:53 18s jb-fix-for-issue102
jb-fix-for-issue102
October 10, 2024 18:53 18s
chore: bump the patch version Release #122: Commit ca38d64 pushed by jaybosamiya-ms
October 7, 2024 21:55 9m 24s v0.4.3
v0.4.3
October 7, 2024 21:55 9m 24s
Support the macro_pat parsing object Release #121: Pull request #101 opened by pratapsingh1729
October 7, 2024 20:08 20s pratapsingh1729:pratap-support-macro-pat
pratapsingh1729:pratap-support-macro-pat
October 7, 2024 20:08 20s
support 'returns' clause Release #118: Pull request #98 opened by tjhance
October 1, 2024 13:12 29s returns-clause
returns-clause
October 1, 2024 13:12 29s
Verus snapshot update Release #117: Pull request #97 reopened by jaybosamiya-ms
October 1, 2024 01:25 17s verus-snapshot-update
verus-snapshot-update
October 1, 2024 01:25 17s
chore: bump the patch version Release #116: Commit 8f026df pushed by jaybosamiya-ms
September 25, 2024 01:23 9m 35s v0.4.2
v0.4.2
September 25, 2024 01:23 9m 35s
More parallelism + better understandability for snapshot tests Release #115: Pull request #96 synchronize by jaybosamiya-ms
September 25, 2024 01:14 20s jb-separate-files-snapshots
jb-separate-files-snapshots
September 25, 2024 01:14 20s
Improved testing using a new glob macro Release #114: Pull request #95 synchronize by jaybosamiya-ms
September 25, 2024 00:01 29s jb-glob-macro
jb-glob-macro
September 25, 2024 00:01 29s
Support opens_invariants with concrete sets Release #113: Pull request #93 synchronize by jaybosamiya-ms
September 24, 2024 20:16 26s jb-parse-concrete-opens-invariant
jb-parse-concrete-opens-invariant
September 24, 2024 20:16 26s
Support parsing for const generic literals Release #112: Pull request #92 synchronize by jaybosamiya-ms
September 24, 2024 18:07 21s jb-const-generic-args
jb-const-generic-args
September 24, 2024 18:07 21s
Improved handling of comments around clauses/stanzas Release #111: Pull request #89 synchronize by jaybosamiya-ms
September 24, 2024 16:53 22s jb-commented-clause
jb-commented-clause
September 24, 2024 16:53 22s
More parallelism + better understandability for snapshot tests Release #110: Pull request #96 opened by jaybosamiya-ms
September 24, 2024 01:54 14s jb-separate-files-snapshots
jb-separate-files-snapshots
September 24, 2024 01:54 14s
Improved testing using a new glob macro Release #109: Pull request #95 opened by jaybosamiya-ms
September 24, 2024 01:49 23s jb-glob-macro
jb-glob-macro
September 24, 2024 01:49 23s
chore: Update dependencies Release #108: Pull request #94 opened by jaybosamiya-ms
September 23, 2024 23:38 22s jb-update-dependencies
jb-update-dependencies
September 23, 2024 23:38 22s
Support opens_invariants with concrete sets Release #107: Pull request #93 opened by jaybosamiya-ms
September 23, 2024 23:10 19s jb-parse-concrete-opens-invariant
jb-parse-concrete-opens-invariant
September 23, 2024 23:10 19s
Support parsing for const generic literals Release #106: Pull request #92 opened by jaybosamiya-ms
September 23, 2024 22:48 19s jb-const-generic-args
jb-const-generic-args
September 23, 2024 22:48 19s
Improved handling of comments around clauses/stanzas Release #105: Pull request #89 opened by jaybosamiya-ms
September 20, 2024 22:13 15s jb-commented-clause
jb-commented-clause
September 20, 2024 22:13 15s
Verus snapshot update Release #104: Pull request #88 reopened by jaybosamiya-ms
September 4, 2024 17:22 26s verus-snapshot-update
verus-snapshot-update
September 4, 2024 17:22 26s
chore: bump the patch version Release #103: Commit f4da00b pushed by jaybosamiya-ms
August 21, 2024 01:09 9m 12s v0.4.1
v0.4.1
August 21, 2024 01:09 9m 12s