Skip to content

Actions: verus-lang/verus

Actions

crate-updates

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
crate-updates.yml
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

crate-updates crate-updates #12: Scheduled
1m 32s main
main
1m 32s
crate-updates crate-updates #11: Manually run by parno
1m 44s main
main
1m 44s
crate-updates crate-updates #10: Scheduled
1m 10s main
main
1m 10s
crate-updates crate-updates #9: Scheduled
1m 55s main
main
1m 55s
crate-updates crate-updates #8: Manually run by parno
1m 59s main
main
1m 59s
crate-updates crate-updates #7: Manually run by parno
2m 13s main
main
2m 13s
crate-updates crate-updates #6: Scheduled
59s main
main
59s
crate-updates crate-updates #5: Manually run by parno
1m 22s main
main
1m 22s
Adjust version bumper to check whether we've previously published the crate-updates #4: Commit 60d7d39 pushed by parno
Failure main
main
Failure
crate-updates crate-updates #3: Manually run by parno
41s main
main
41s
crate-updates crate-updates #2: Manually run by parno
1m 2s main
main
1m 2s
crate-updates crate-updates #1: Manually run by parno
47s main
main
47s