Skip to content

Actions: verus-lang/verusfmt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
704 workflow runs
704 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

SnapshotRefresh SnapshotRefresh #26: Scheduled
February 1, 2025 01:05 26s main
main
February 1, 2025 01:05 26s
chore: bump the patch version CI #543: Commit 5bd6be5 pushed by jaybosamiya-ms
January 15, 2025 23:09 4m 0s main
main
January 15, 2025 23:09 4m 0s
Release Release #139: by jaybosamiya-ms
January 15, 2025 23:08 8m 18s v0.5.2
v0.5.2
January 15, 2025 23:08 8m 18s
CI CI #542: by jaybosamiya-ms
January 15, 2025 23:08 4m 0s v0.5.2
v0.5.2
January 15, 2025 23:08 4m 0s
Fix parser for assume_specification (#115) CI #541: Commit 6da8747 pushed by jaybosamiya-ms
January 15, 2025 23:06 4m 6s main
main
January 15, 2025 23:06 4m 6s
Fix parser for assume_specification Release #138: Pull request #115 opened by jaybosamiya-ms
January 15, 2025 23:01 21s jb-fix-114
jb-fix-114
January 15, 2025 23:01 21s
Fix parser for assume_specification CI #540: Pull request #115 opened by jaybosamiya-ms
January 15, 2025 23:01 4m 8s jb-fix-114
jb-fix-114
January 15, 2025 23:01 4m 8s
Fix parser for assume_specification CI #539: Commit a36ec22 pushed by jaybosamiya-ms
January 15, 2025 22:59 4m 0s jb-fix-114
jb-fix-114
January 15, 2025 22:59 4m 0s
chore: dependency version upgrades (#113) CI #538: Commit e75e20f pushed by jaybosamiya-ms
January 15, 2025 00:49 5m 10s main
main
January 15, 2025 00:49 5m 10s
Chore: dependency version upgrades Release #137: Pull request #113 opened by jaybosamiya-ms
January 15, 2025 00:44 27s chore-upgrades
chore-upgrades
January 15, 2025 00:44 27s
Chore: dependency version upgrades CI #537: Pull request #113 opened by jaybosamiya-ms
January 15, 2025 00:44 5m 4s chore-upgrades
chore-upgrades
January 15, 2025 00:44 5m 4s
chore: update to latest cargo-dist CI #536: Commit f6850fc pushed by jaybosamiya-ms
January 15, 2025 00:42 5m 7s chore-upgrades
chore-upgrades
January 15, 2025 00:42 5m 7s
chore: bump the patch version CI #535: Commit f5429ee pushed by jaybosamiya-ms
January 15, 2025 00:30 4m 9s main
main
January 15, 2025 00:30 4m 9s
Release Release #136: by jaybosamiya-ms
January 15, 2025 00:22 7m 49s v0.5.1
v0.5.1
January 15, 2025 00:22 7m 49s
CI CI #534: by jaybosamiya-ms
January 15, 2025 00:22 4m 5s v0.5.1
v0.5.1
January 15, 2025 00:22 4m 5s
Support returns clause (#98) CI #533: Commit 4aea890 pushed by jaybosamiya-ms
January 15, 2025 00:07 4m 0s main
main
January 15, 2025 00:07 4m 0s
support 'returns' clause Release #135: Pull request #98 synchronize by jaybosamiya-ms
January 14, 2025 23:02 20s returns-clause
returns-clause
January 14, 2025 23:02 20s
support 'returns' clause CI #532: Pull request #98 synchronize by jaybosamiya-ms
January 14, 2025 23:02 4m 2s returns-clause
returns-clause
January 14, 2025 23:02 4m 2s
Merge 'origin/main' into returns-clause CI #531: Commit c508b02 pushed by jaybosamiya-ms
January 14, 2025 23:02 4m 15s returns-clause
returns-clause
January 14, 2025 23:02 4m 15s
Add support for assume_specification (#112) CI #530: Commit fd14b5d pushed by jaybosamiya-ms
January 14, 2025 22:59 4m 0s main
main
January 14, 2025 22:59 4m 0s
support 'returns' clause Release #134: Pull request #98 synchronize by jaybosamiya-ms
January 14, 2025 22:55 21s returns-clause
returns-clause
January 14, 2025 22:55 21s
support 'returns' clause CI #529: Pull request #98 synchronize by jaybosamiya-ms
January 14, 2025 22:55 3m 56s returns-clause
returns-clause
January 14, 2025 22:55 3m 56s
Update CHANGELOG CI #528: Commit f03d605 pushed by jaybosamiya-ms
January 14, 2025 22:55 4m 6s returns-clause
returns-clause
January 14, 2025 22:55 4m 6s
support 'returns' clause Release #133: Pull request #98 synchronize by jaybosamiya-ms
January 14, 2025 22:54 20s returns-clause
returns-clause
January 14, 2025 22:54 20s
support 'returns' clause CI #527: Pull request #98 synchronize by jaybosamiya-ms
January 14, 2025 22:54 4m 13s returns-clause
returns-clause
January 14, 2025 22:54 4m 13s