Skip to content

Actions: dafny-lang/dafny

Actions

Nightly test and release workflow

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nightly-build.yml
441 workflow runs
441 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly test and release workflow Nightly test and release workflow #441: Scheduled
October 26, 2024 14:33 53m 38s master
master
October 26, 2024 14:33 53m 38s
Nightly test and release workflow Nightly test and release workflow #440: Scheduled
October 25, 2024 14:35 24m 11s master
master
October 25, 2024 14:35 24m 11s
Nightly test and release workflow Nightly test and release workflow #439: Scheduled
October 24, 2024 14:35 1h 17m 22s master
master
October 24, 2024 14:35 1h 17m 22s
Nightly test and release workflow Nightly test and release workflow #438: Scheduled
October 23, 2024 14:34 28m 45s master
master
October 23, 2024 14:34 28m 45s
Nightly test and release workflow Nightly test and release workflow #437: Scheduled
October 22, 2024 14:35 1h 16m 9s master
master
October 22, 2024 14:35 1h 16m 9s
Nightly test and release workflow Nightly test and release workflow #436: Scheduled
October 21, 2024 14:35 1h 27m 7s master
master
October 21, 2024 14:35 1h 27m 7s
Nightly test and release workflow Nightly test and release workflow #435: Scheduled
October 20, 2024 14:33 1h 8m 44s master
master
October 20, 2024 14:33 1h 8m 44s
Nightly test and release workflow Nightly test and release workflow #434: Scheduled
October 19, 2024 14:33 56m 40s master
master
October 19, 2024 14:33 56m 40s
Nightly test and release workflow Nightly test and release workflow #433: Scheduled
October 18, 2024 14:35 47m 28s master
master
October 18, 2024 14:35 47m 28s
Nightly test and release workflow Nightly test and release workflow #432: Scheduled
October 17, 2024 14:34 1h 23m 32s master
master
October 17, 2024 14:34 1h 23m 32s
Nightly test and release workflow Nightly test and release workflow #431: Scheduled
October 16, 2024 14:35 1h 22m 57s master
master
October 16, 2024 14:35 1h 22m 57s
Nightly test and release workflow Nightly test and release workflow #430: Scheduled
October 15, 2024 14:35 40m 37s master
master
October 15, 2024 14:35 40m 37s
Nightly test and release workflow Nightly test and release workflow #429: Scheduled
October 14, 2024 14:35 36m 59s master
master
October 14, 2024 14:35 36m 59s
Nightly test and release workflow Nightly test and release workflow #428: Scheduled
October 13, 2024 14:33 59m 21s master
master
October 13, 2024 14:33 59m 21s
Nightly test and release workflow Nightly test and release workflow #427: Scheduled
October 12, 2024 14:33 1h 15m 27s master
master
October 12, 2024 14:33 1h 15m 27s
Nightly test and release workflow Nightly test and release workflow #426: Scheduled
October 11, 2024 14:34 1h 27m 35s master
master
October 11, 2024 14:34 1h 27m 35s
Nightly test and release workflow Nightly test and release workflow #425: Scheduled
October 10, 2024 14:35 1h 36m 9s master
master
October 10, 2024 14:35 1h 36m 9s
Nightly test and release workflow Nightly test and release workflow #424: Scheduled
October 9, 2024 14:35 1h 23m 50s master
master
October 9, 2024 14:35 1h 23m 50s
Nightly test and release workflow Nightly test and release workflow #423: Manually run by keyboardDrummer
October 9, 2024 12:40 1h 34m 41s master
master
October 9, 2024 12:40 1h 34m 41s
Nightly test and release workflow Nightly test and release workflow #422: Scheduled
October 8, 2024 14:36 18m 41s master
master
October 8, 2024 14:36 18m 41s
Nightly test and release workflow Nightly test and release workflow #421: Scheduled
October 7, 2024 14:35 26m 40s master
master
October 7, 2024 14:35 26m 40s
Nightly test and release workflow Nightly test and release workflow #420: Scheduled
October 6, 2024 14:33 1h 2m 46s master
master
October 6, 2024 14:33 1h 2m 46s
Nightly test and release workflow Nightly test and release workflow #419: Scheduled
October 5, 2024 14:33 1h 6m 54s master
master
October 5, 2024 14:33 1h 6m 54s
Nightly test and release workflow Nightly test and release workflow #418: Scheduled
October 4, 2024 14:34 1h 10m 50s master
master
October 4, 2024 14:34 1h 10m 50s
Nightly test and release workflow Nightly test and release workflow #417: Scheduled
October 3, 2024 14:35 43m 23s master
master
October 3, 2024 14:35 43m 23s