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 #316: Scheduled
June 26, 2024 14:32 1h 45m 31s master
master
June 26, 2024 14:32 1h 45m 31s
Nightly test and release workflow Nightly test and release workflow #315: Manually run by keyboardDrummer
June 26, 2024 12:49 1h 15m 41s release-4.7.0
release-4.7.0
June 26, 2024 12:49 1h 15m 41s
Nightly test and release workflow Nightly test and release workflow #314: Scheduled
June 25, 2024 14:33 41m 45s master
master
June 25, 2024 14:33 41m 45s
Nightly test and release workflow Nightly test and release workflow #313: Scheduled
June 24, 2024 14:33 55m 44s master
master
June 24, 2024 14:33 55m 44s
Nightly test and release workflow Nightly test and release workflow #312: Scheduled
June 23, 2024 14:32 1h 8m 30s master
master
June 23, 2024 14:32 1h 8m 30s
Nightly test and release workflow Nightly test and release workflow #311: Scheduled
June 22, 2024 14:32 26m 44s master
master
June 22, 2024 14:32 26m 44s
Nightly test and release workflow Nightly test and release workflow #310: Scheduled
June 21, 2024 14:32 1h 10m 11s master
master
June 21, 2024 14:32 1h 10m 11s
Nightly test and release workflow Nightly test and release workflow #309: Scheduled
June 20, 2024 14:32 1h 14m 0s master
master
June 20, 2024 14:32 1h 14m 0s
Nightly test and release workflow Nightly test and release workflow #308: Scheduled
June 19, 2024 14:32 1h 7m 32s master
master
June 19, 2024 14:32 1h 7m 32s
Nightly test and release workflow Nightly test and release workflow #307: Manually run by fabiomadge
June 19, 2024 13:25 1h 14m 43s master
master
June 19, 2024 13:25 1h 14m 43s
Nightly test and release workflow Nightly test and release workflow #306: Manually run by fabiomadge
June 18, 2024 18:16 56m 53s master
master
June 18, 2024 18:16 56m 53s
Nightly test and release workflow Nightly test and release workflow #305: Scheduled
June 18, 2024 14:33 Startup failure master
master
June 18, 2024 14:33 Startup failure
Nightly test and release workflow Nightly test and release workflow #304: Scheduled
June 17, 2024 14:33 3s master
master
June 17, 2024 14:33 3s
Nightly test and release workflow Nightly test and release workflow #303: Scheduled
June 16, 2024 14:32 1s master
master
June 16, 2024 14:32 1s
Nightly test and release workflow Nightly test and release workflow #302: Scheduled
June 15, 2024 14:32 43m 34s master
master
June 15, 2024 14:32 43m 34s
Nightly test and release workflow Nightly test and release workflow #301: Scheduled
June 14, 2024 14:33 36m 5s master
master
June 14, 2024 14:33 36m 5s
Nightly test and release workflow Nightly test and release workflow #300: Scheduled
June 13, 2024 14:33 45m 18s master
master
June 13, 2024 14:33 45m 18s
Nightly test and release workflow Nightly test and release workflow #299: Scheduled
June 12, 2024 14:32 44m 43s master
master
June 12, 2024 14:32 44m 43s
Nightly test and release workflow Nightly test and release workflow #298: Scheduled
June 11, 2024 14:33 1h 24m 25s master
master
June 11, 2024 14:33 1h 24m 25s
Nightly test and release workflow Nightly test and release workflow #297: Scheduled
June 10, 2024 14:33 57m 16s master
master
June 10, 2024 14:33 57m 16s
Nightly test and release workflow Nightly test and release workflow #296: Scheduled
June 9, 2024 14:32 1h 7m 40s master
master
June 9, 2024 14:32 1h 7m 40s
Nightly test and release workflow Nightly test and release workflow #295: Scheduled
June 8, 2024 14:32 1h 11m 44s master
master
June 8, 2024 14:32 1h 11m 44s
Nightly test and release workflow Nightly test and release workflow #294: Scheduled
June 7, 2024 14:33 1h 13m 22s master
master
June 7, 2024 14:33 1h 13m 22s
Nightly test and release workflow Nightly test and release workflow #293: Scheduled
June 6, 2024 14:33 41m 53s master
master
June 6, 2024 14:33 41m 53s
Nightly test and release workflow Nightly test and release workflow #292: Manually run by keyboardDrummer
June 6, 2024 10:32 43m 37s master
master
June 6, 2024 10:32 43m 37s