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 #291: Scheduled
June 5, 2024 14:33 2h 1m 39s master
master
June 5, 2024 14:33 2h 1m 39s
Nightly test and release workflow Nightly test and release workflow #290: Manually run by keyboardDrummer
June 4, 2024 14:40 7h 51m 59s release-4.7.0
release-4.7.0
June 4, 2024 14:40 7h 51m 59s
Nightly test and release workflow Nightly test and release workflow #289: Scheduled
June 4, 2024 14:33 4h 24m 28s master
master
June 4, 2024 14:33 4h 24m 28s
Nightly test and release workflow Nightly test and release workflow #288: Manually run by keyboardDrummer
June 4, 2024 11:47 3h 55m 18s release-4.7.0
release-4.7.0
June 4, 2024 11:47 3h 55m 18s
Nightly test and release workflow Nightly test and release workflow #287: Manually run by fabiomadge
June 4, 2024 08:22 2h 0m 48s master
master
June 4, 2024 08:22 2h 0m 48s
Nightly test and release workflow Nightly test and release workflow #286: Scheduled
June 3, 2024 14:33 2h 13m 47s master
master
June 3, 2024 14:33 2h 13m 47s
Nightly test and release workflow Nightly test and release workflow #285: Scheduled
June 2, 2024 14:32 2h 0m 50s master
master
June 2, 2024 14:32 2h 0m 50s
Nightly test and release workflow Nightly test and release workflow #284: Scheduled
June 1, 2024 14:32 2h 0m 48s master
master
June 1, 2024 14:32 2h 0m 48s
Nightly test and release workflow Nightly test and release workflow #283: Scheduled
May 31, 2024 14:32 1h 0m 6s master
master
May 31, 2024 14:32 1h 0m 6s
Nightly test and release workflow Nightly test and release workflow #282: Scheduled
May 30, 2024 14:32 2h 0m 44s master
master
May 30, 2024 14:32 2h 0m 44s
Nightly test and release workflow Nightly test and release workflow #281: Scheduled
May 29, 2024 14:32 2h 1m 42s master
master
May 29, 2024 14:32 2h 1m 42s
Nightly test and release workflow Nightly test and release workflow #280: Manually run by keyboardDrummer
May 29, 2024 11:29 2h 0m 39s master
master
May 29, 2024 11:29 2h 0m 39s
Nightly test and release workflow Nightly test and release workflow #279: Scheduled
May 28, 2024 14:32 6h 34m 55s master
master
May 28, 2024 14:32 6h 34m 55s
Nightly test and release workflow Nightly test and release workflow #278: Manually run by keyboardDrummer
May 28, 2024 12:27 1h 20m 47s master
master
May 28, 2024 12:27 1h 20m 47s
Nightly test and release workflow Nightly test and release workflow #277: Manually run by fabiomadge
May 28, 2024 08:49 3h 38m 5s master
master
May 28, 2024 08:49 3h 38m 5s
Nightly test and release workflow Nightly test and release workflow #276: Scheduled
May 27, 2024 14:32 1h 54m 34s master
master
May 27, 2024 14:32 1h 54m 34s
Nightly test and release workflow Nightly test and release workflow #275: Scheduled
May 26, 2024 14:32 2h 0m 14s master
master
May 26, 2024 14:32 2h 0m 14s
Nightly test and release workflow Nightly test and release workflow #274: Scheduled
May 25, 2024 14:32 41m 12s master
master
May 25, 2024 14:32 41m 12s
Nightly test and release workflow Nightly test and release workflow #273: Scheduled
May 24, 2024 14:32 1h 39m 4s master
master
May 24, 2024 14:32 1h 39m 4s
Nightly test and release workflow Nightly test and release workflow #272: Scheduled
May 23, 2024 14:32 1h 41m 31s master
master
May 23, 2024 14:32 1h 41m 31s
Nightly test and release workflow Nightly test and release workflow #271: Scheduled
May 22, 2024 14:32 1h 49m 23s master
master
May 22, 2024 14:32 1h 49m 23s
Nightly test and release workflow Nightly test and release workflow #270: Scheduled
May 21, 2024 14:32 2h 0m 21s master
master
May 21, 2024 14:32 2h 0m 21s
Nightly test and release workflow Nightly test and release workflow #269: Scheduled
May 20, 2024 14:32 1h 55m 1s master
master
May 20, 2024 14:32 1h 55m 1s
Nightly test and release workflow Nightly test and release workflow #268: Scheduled
May 19, 2024 14:32 2h 0m 44s master
master
May 19, 2024 14:32 2h 0m 44s
Nightly test and release workflow Nightly test and release workflow #267: Scheduled
May 18, 2024 14:32 2h 1m 4s master
master
May 18, 2024 14:32 2h 1m 4s