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 #366: Scheduled
August 14, 2024 14:33 1h 14m 11s master
master
August 14, 2024 14:33 1h 14m 11s
Nightly test and release workflow Nightly test and release workflow #365: Scheduled
August 13, 2024 14:33 1h 7m 37s master
master
August 13, 2024 14:33 1h 7m 37s
Nightly test and release workflow Nightly test and release workflow #364: Scheduled
August 12, 2024 14:34 58m 39s master
master
August 12, 2024 14:34 58m 39s
Nightly test and release workflow Nightly test and release workflow #363: Scheduled
August 11, 2024 14:33 1h 2m 31s master
master
August 11, 2024 14:33 1h 2m 31s
Nightly test and release workflow Nightly test and release workflow #362: Scheduled
August 10, 2024 14:32 57m 36s master
master
August 10, 2024 14:32 57m 36s
Nightly test and release workflow Nightly test and release workflow #361: Scheduled
August 9, 2024 14:33 1h 3m 43s master
master
August 9, 2024 14:33 1h 3m 43s
Nightly test and release workflow Nightly test and release workflow #360: Scheduled
August 8, 2024 14:32 1h 10m 2s master
master
August 8, 2024 14:32 1h 10m 2s
Nightly test and release workflow Nightly test and release workflow #359: Scheduled
August 7, 2024 14:33 1h 25m 9s master
master
August 7, 2024 14:33 1h 25m 9s
Nightly test and release workflow Nightly test and release workflow #358: Scheduled
August 6, 2024 14:33 1h 22m 52s master
master
August 6, 2024 14:33 1h 22m 52s
Nightly test and release workflow Nightly test and release workflow #357: Scheduled
August 5, 2024 14:33 1h 5m 55s master
master
August 5, 2024 14:33 1h 5m 55s
Nightly test and release workflow Nightly test and release workflow #356: Scheduled
August 4, 2024 14:33 56m 44s master
master
August 4, 2024 14:33 56m 44s
Nightly test and release workflow Nightly test and release workflow #355: Scheduled
August 3, 2024 14:32 59m 50s master
master
August 3, 2024 14:32 59m 50s
Nightly test and release workflow Nightly test and release workflow #354: Scheduled
August 2, 2024 14:33 1h 11m 45s master
master
August 2, 2024 14:33 1h 11m 45s
Nightly test and release workflow Nightly test and release workflow #353: Scheduled
August 1, 2024 14:33 1h 10m 13s master
master
August 1, 2024 14:33 1h 10m 13s
Nightly test and release workflow Nightly test and release workflow #352: Scheduled
July 31, 2024 14:32 1h 28m 1s master
master
July 31, 2024 14:32 1h 28m 1s
Nightly test and release workflow Nightly test and release workflow #351: Scheduled
July 30, 2024 14:32 31m 18s master
master
July 30, 2024 14:32 31m 18s
Nightly test and release workflow Nightly test and release workflow #350: Manually run by keyboardDrummer
July 29, 2024 16:51 1h 5m 4s master
master
July 29, 2024 16:51 1h 5m 4s
Nightly test and release workflow Nightly test and release workflow #349: Scheduled
July 29, 2024 14:33 1h 6m 43s master
master
July 29, 2024 14:33 1h 6m 43s
Nightly test and release workflow Nightly test and release workflow #348: Scheduled
July 28, 2024 14:32 59m 53s master
master
July 28, 2024 14:32 59m 53s
Nightly test and release workflow Nightly test and release workflow #347: Scheduled
July 27, 2024 14:32 1h 5m 30s master
master
July 27, 2024 14:32 1h 5m 30s
Nightly test and release workflow Nightly test and release workflow #346: Scheduled
July 26, 2024 14:33 1h 5m 55s master
master
July 26, 2024 14:33 1h 5m 55s
Nightly test and release workflow Nightly test and release workflow #345: Scheduled
July 25, 2024 14:33 1h 11m 11s master
master
July 25, 2024 14:33 1h 11m 11s
Nightly test and release workflow Nightly test and release workflow #344: Scheduled
July 24, 2024 14:33 1h 27m 55s master
master
July 24, 2024 14:33 1h 27m 55s
Nightly test and release workflow Nightly test and release workflow #343: Scheduled
July 23, 2024 14:33 1h 13m 3s master
master
July 23, 2024 14:33 1h 13m 3s
Nightly test and release workflow Nightly test and release workflow #342: Scheduled
July 22, 2024 14:33 1h 18m 31s master
master
July 22, 2024 14:33 1h 18m 31s