Skip to content

Actions: verus-lang/verus

Actions

nightly-verita

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nightly-verita.yml
224 workflow runs
224 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
nightly-verita nightly-verita #224: Scheduled
57m 37s main
main
57m 37s
nightly-verita nightly-verita #223: Scheduled
53m 6s main
main
53m 6s
nightly-verita nightly-verita #222: Scheduled
55m 41s main
main
55m 41s
nightly-verita nightly-verita #221: Scheduled
51m 22s main
main
51m 22s
nightly-verita nightly-verita #220: Manually run by tjhance
52m 42s credit-cleanup
credit-cleanup
52m 42s
nightly-verita nightly-verita #219: Scheduled
54m 23s main
main
54m 23s
nightly-verita nightly-verita #218: Manually run by Chris-Hawblitzel
42m 53s fix-external-body-macro-transform-refactor
fix-external-body-macro-transform-refactor
42m 53s
nightly-verita nightly-verita #217: Scheduled
54m 42s main
main
54m 42s
nightly-verita nightly-verita #216: Scheduled
2h 0m 37s main
main
2h 0m 37s
nightly-verita nightly-verita #215: Scheduled
52m 30s main
main
52m 30s
nightly-verita nightly-verita #214: Scheduled
49m 28s main
main
49m 28s
nightly-verita nightly-verita #213: Scheduled
51m 26s main
main
51m 26s
nightly-verita nightly-verita #212: Scheduled
48m 8s main
main
48m 8s
nightly-verita nightly-verita #211: Scheduled
47m 58s main
main
47m 58s
nightly-verita nightly-verita #210: Scheduled
49m 2s main
main
49m 2s
nightly-verita nightly-verita #209: Manually run by ziqiaozhou
45m 30s verita-test-verismo
verita-test-verismo
45m 30s
nightly-verita nightly-verita #208: Scheduled
50m 48s main
main
50m 48s
nightly-verita nightly-verita #207: Scheduled
41m 30s main
main
41m 30s
nightly-verita nightly-verita #206: Scheduled
50m 29s main
main
50m 29s
nightly-verita nightly-verita #205: Scheduled
51m 44s main
main
51m 44s
nightly-verita nightly-verita #204: Scheduled
50m 37s main
main
50m 37s
nightly-verita nightly-verita #203: Manually run by ziqiaozhou
53m 36s verita-test-verismo
verita-test-verismo
53m 36s
nightly-verita nightly-verita #202: Scheduled
54m 43s main
main
54m 43s
nightly-verita nightly-verita #201: Manually run by ziqiaozhou
55m 15s verita-test-verismo
verita-test-verismo
55m 15s
nightly-verita nightly-verita #200: Scheduled
50m 38s main
main
50m 38s