Skip to content

Actions: verus-lang/verus

Actions

release

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
release.yml
34 workflow runs
34 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

release release #34: Scheduled
August 18, 2025 01:24 25s main
main
August 18, 2025 01:24 25s
release release #33: Scheduled
August 11, 2025 01:26 39s main
main
August 11, 2025 01:26 39s
release release #32: Scheduled
August 4, 2025 01:41 28s main
main
August 4, 2025 01:41 28s
release release #31: Scheduled
July 28, 2025 01:38 31s main
main
July 28, 2025 01:38 31s
release release #30: Scheduled
July 21, 2025 01:27 34s main
main
July 21, 2025 01:27 34s
release release #29: Scheduled
July 14, 2025 01:25 19s main
main
July 14, 2025 01:25 19s
release release #28: Scheduled
July 7, 2025 01:23 29s main
main
July 7, 2025 01:23 29s
release release #27: Manually run by parno
June 30, 2025 23:20 31s main
main
June 30, 2025 23:20 31s
release release #26: Scheduled
June 30, 2025 01:23 20s main
main
June 30, 2025 01:23 20s
release release #25: Manually run by parno
June 23, 2025 20:23 23s main
main
June 23, 2025 20:23 23s
release release #24: Scheduled
June 23, 2025 01:23 21s main
main
June 23, 2025 01:23 21s
release release #23: Scheduled
June 16, 2025 01:21 29s main
main
June 16, 2025 01:21 29s
release release #22: Scheduled
June 9, 2025 01:21 26s main
main
June 9, 2025 01:21 26s
release release #21: Scheduled
June 2, 2025 01:20 30s main
main
June 2, 2025 01:20 30s
release release #20: Manually run by parno
May 29, 2025 14:06 28s main
main
May 29, 2025 14:06 28s
release release #19: Scheduled
May 26, 2025 01:18 30s main
main
May 26, 2025 01:18 30s
release release #18: Scheduled
May 19, 2025 01:19 23s main
main
May 19, 2025 01:19 23s
release release #17: Scheduled
May 12, 2025 01:18 30s main
main
May 12, 2025 01:18 30s
release release #16: Scheduled
May 5, 2025 01:17 30s main
main
May 5, 2025 01:17 30s
release release #15: Scheduled
April 28, 2025 01:16 23s main
main
April 28, 2025 01:16 23s
release release #14: Scheduled
April 21, 2025 01:16 32s main
main
April 21, 2025 01:16 32s
release release #13: Scheduled
April 14, 2025 01:15 22s main
main
April 14, 2025 01:15 22s
release release #12: Scheduled
April 7, 2025 01:13 33s main
main
April 7, 2025 01:13 33s
release release #11: Scheduled
March 31, 2025 01:15 24s main
main
March 31, 2025 01:15 24s
release release #10: Manually run by utaal
March 27, 2025 23:37 20s main
main
March 27, 2025 23:37 20s