Skip to content

Actions: verus-lang/verus

Actions

release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
65 workflow runs
65 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
release release #93: Scheduled
12m 50s main
main
12m 50s
release release #92: Scheduled
1m 3s main
main
1m 3s
release release #91: Scheduled
36s main
main
36s
release release #90: Scheduled
22s main
main
22s
release release #89: Scheduled
18s main
main
18s
release release #88: Scheduled
51m 4s main
main
51m 4s
release release #87: Scheduled
19s main
main
19s
release release #86: Scheduled
17s main
main
17s
release release #85: Scheduled
19s main
main
19s
release release #84: Scheduled
29s main
main
29s
release release #83: Scheduled
25s main
main
25s
release release #82: Scheduled
30s main
main
30s
release release #81: Scheduled
27s main
main
27s
release release #80: Scheduled
20s main
main
20s
release release #79: Scheduled
19s main
main
19s
release release #78: Manually run by parno
28s main
main
28s
release release #77: Scheduled
17s main
main
17s
release release #76: Scheduled
29s main
main
29s
release release #75: Scheduled
21s main
main
21s
release release #74: Scheduled
21s main
main
21s
release release #73: Scheduled
22s main
main
22s
release release #72: Scheduled
21s main
main
21s
release release #71: Scheduled
29s main
main
29s
release release #70: Scheduled
18s main
main
18s
release release #69: Manually run by parno
24s main
main
24s