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
474 workflow runs
474 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Nightly test and release workflow Nightly test and release workflow #140: Scheduled
January 22, 2024 14:33 1h 7m 18s master
master
January 22, 2024 14:33 1h 7m 18s
Nightly test and release workflow Nightly test and release workflow #139: Scheduled
January 21, 2024 14:32 1h 17m 33s master
master
January 21, 2024 14:32 1h 17m 33s
Nightly test and release workflow Nightly test and release workflow #138: Scheduled
January 20, 2024 14:32 1h 12m 55s master
master
January 20, 2024 14:32 1h 12m 55s
Nightly test and release workflow Nightly test and release workflow #137: Manually run by robin-aws
January 19, 2024 19:06 1h 16m 50s master
master
January 19, 2024 19:06 1h 16m 50s
Nightly test and release workflow Nightly test and release workflow #136: Scheduled
January 19, 2024 14:32 55m 12s master
master
January 19, 2024 14:32 55m 12s
Nightly test and release workflow Nightly test and release workflow #135: Manually run by alex-chew
January 19, 2024 00:15 1h 2m 26s ci/disable-prerelease-refman-build
ci/disable-prerelease-refman-build
January 19, 2024 00:15 1h 2m 26s
Nightly test and release workflow Nightly test and release workflow #134: Manually run by alex-chew
January 19, 2024 00:12 31s ci/disable-prerelease-refman-build
ci/disable-prerelease-refman-build
January 19, 2024 00:12 31s
Nightly test and release workflow Nightly test and release workflow #133: Scheduled
January 18, 2024 14:33 43m 3s master
master
January 18, 2024 14:33 43m 3s
Nightly test and release workflow Nightly test and release workflow #132: Manually run by alex-chew
January 17, 2024 21:38 50m 53s ci/pin-pandoc-3.1.9
ci/pin-pandoc-3.1.9
January 17, 2024 21:38 50m 53s
Nightly test and release workflow Nightly test and release workflow #131: Manually run by alex-chew
January 17, 2024 18:49 1h 2m 54s ci/pin-pandoc-3.1.9
ci/pin-pandoc-3.1.9
January 17, 2024 18:49 1h 2m 54s
Nightly test and release workflow Nightly test and release workflow #130: Scheduled
January 17, 2024 14:32 1h 15m 41s master
master
January 17, 2024 14:32 1h 15m 41s
Nightly test and release workflow Nightly test and release workflow #129: Scheduled
January 16, 2024 14:33 1h 3m 2s master
master
January 16, 2024 14:33 1h 3m 2s
Nightly test and release workflow Nightly test and release workflow #128: Scheduled
January 15, 2024 14:33 1h 1m 6s master
master
January 15, 2024 14:33 1h 1m 6s
Nightly test and release workflow Nightly test and release workflow #127: Scheduled
January 14, 2024 14:32 53m 53s master
master
January 14, 2024 14:32 53m 53s
Nightly test and release workflow Nightly test and release workflow #126: Scheduled
January 13, 2024 14:32 36m 32s master
master
January 13, 2024 14:32 36m 32s
Nightly test and release workflow Nightly test and release workflow #125: Scheduled
January 12, 2024 14:32 1h 2m 5s master
master
January 12, 2024 14:32 1h 2m 5s
Nightly test and release workflow Nightly test and release workflow #124: Scheduled
January 11, 2024 14:33 56m 29s master
master
January 11, 2024 14:33 56m 29s
Nightly test and release workflow Nightly test and release workflow #123: Scheduled
January 10, 2024 14:33 1h 16m 17s master
master
January 10, 2024 14:33 1h 16m 17s
Nightly test and release workflow Nightly test and release workflow #122: Scheduled
January 9, 2024 14:33 49m 16s master
master
January 9, 2024 14:33 49m 16s
Nightly test and release workflow Nightly test and release workflow #121: Scheduled
January 8, 2024 14:33 52m 15s master
master
January 8, 2024 14:33 52m 15s
Nightly test and release workflow Nightly test and release workflow #120: Scheduled
January 7, 2024 14:32 49m 33s master
master
January 7, 2024 14:32 49m 33s
Nightly test and release workflow Nightly test and release workflow #119: Scheduled
January 6, 2024 14:32 56m 39s master
master
January 6, 2024 14:32 56m 39s
Nightly test and release workflow Nightly test and release workflow #118: Scheduled
January 5, 2024 14:32 1h 13m 42s master
master
January 5, 2024 14:32 1h 13m 42s
Nightly test and release workflow Nightly test and release workflow #117: Scheduled
January 4, 2024 14:32 43m 4s master
master
January 4, 2024 14:32 43m 4s
Nightly test and release workflow Nightly test and release workflow #116: Scheduled
January 3, 2024 14:32 2h 22m 32s master
master
January 3, 2024 14:32 2h 22m 32s
ProTip! You can narrow down the results and go further in time using created:<2024-01-03 or the other filters available.