Skip to content

Actions: dafny-lang/dafny

Actions

Publish Draft Release

Actions

Loading...

Show workflow options

Create status badge

publish-release.yml
10 workflow runs
10 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Release Dafny 4.6.0 Publish Draft Release #54: Commit 7c82175 pushed by robin-aws
March 28, 2024 13:33 2h 8m 55s v4.6.0
v4.6.0
March 28, 2024 13:33 2h 8m 55s
Release Dafny 4.5.0 Publish Draft Release #53: Commit 59418c9 pushed by alex-chew
March 15, 2024 22:43 58m 24s v4.5.0
v4.5.0
March 15, 2024 22:43 58m 24s
Release Dafny 4.4.0 Publish Draft Release #52: Commit 707b18a pushed by robin-aws
December 12, 2023 18:18 1h 7m 54s v4.4.0
v4.4.0
December 12, 2023 18:18 1h 7m 54s
Chore: Updated check deep tests to account for workflow refactoring, … Publish Draft Release #51: Commit b00ccc2 pushed by MikaelMayer
September 28, 2023 20:13 1h 38m 22s v4.3.0
v4.3.0
September 28, 2023 20:13 1h 38m 22s
Release Dafny 4.3.0 Publish Draft Release #50: Commit 3574ab8 pushed by MikaelMayer
September 28, 2023 20:01 22s v4.3.0
v4.3.0
September 28, 2023 20:01 22s
Release Dafny 4.3.0 Publish Draft Release #49: Commit 3574ab8 pushed by MikaelMayer
September 27, 2023 19:52 16s v4.3.0
v4.3.0
September 27, 2023 19:52 16s
Release note fixes Publish Draft Release #48: Commit 6d4a31d pushed by keyboardDrummer
July 20, 2023 10:59 43m 54s v4.2.0
v4.2.0
July 20, 2023 10:59 43m 54s
Release Dafny 4.2.0 Publish Draft Release #47: Commit 880887c pushed by keyboardDrummer
July 20, 2023 10:49 2m 55s v4.2.0
v4.2.0
July 20, 2023 10:49 2m 55s
Release Dafny 4.1.0 Publish Draft Release #46: Commit 78a5a95 pushed by fabiomadge
May 10, 2023 06:35 36m 3s v4.1.0
v4.1.0
May 10, 2023 06:35 36m 3s
Release Dafny 4.1.0 Publish Draft Release #45: Commit 644e8c5 pushed by fabiomadge
May 9, 2023 20:01 1h 2m 12s v4.1.0
v4.1.0
May 9, 2023 20:01 1h 2m 12s