Skip to content

Actions: dafny-lang/setup-dafny-action

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: Split off setup-dafny-from-source-action (#28) Validate action #147: Commit ca6d80d pushed by robin-aws
May 23, 2025 22:37 6h 1m 14s main
main
May 23, 2025 22:37 6h 1m 14s
fix: Split off setup-dafny-from-source-action Validate action #146: Pull request #28 synchronize by robin-aws
May 23, 2025 22:06 4m 14s fix-build-dafny-from-source
fix-build-dafny-from-source
May 23, 2025 22:06 4m 14s
fix: Split off setup-dafny-from-source-action Validate action #145: Pull request #28 synchronize by robin-aws
May 23, 2025 18:54 4m 52s fix-build-dafny-from-source
fix-build-dafny-from-source
May 23, 2025 18:54 4m 52s
fix: Split off setup-dafny-from-source-action Validate action #144: Pull request #28 synchronize by robin-aws
May 23, 2025 18:50 5m 48s fix-build-dafny-from-source
fix-build-dafny-from-source
May 23, 2025 18:50 5m 48s
fix: Split off setup-dafny-from-source-action Validate action #143: Pull request #28 synchronize by robin-aws
May 23, 2025 18:37 4m 33s fix-build-dafny-from-source
fix-build-dafny-from-source
May 23, 2025 18:37 4m 33s
fix: Split off setup-dafny-from-source-action Validate action #142: Pull request #28 synchronize by robin-aws
May 23, 2025 18:33 1m 10s fix-build-dafny-from-source
fix-build-dafny-from-source
May 23, 2025 18:33 1m 10s
fix: Split off setup-dafny-from-source-action Validate action #141: Pull request #28 synchronize by robin-aws
May 23, 2025 18:30 51s fix-build-dafny-from-source
fix-build-dafny-from-source
May 23, 2025 18:30 51s
fix: Split off setup-dafny-from-source-action Validate action #140: Pull request #28 reopened by robin-aws
May 23, 2025 18:28 1m 2s fix-build-dafny-from-source
fix-build-dafny-from-source
May 23, 2025 18:28 1m 2s
fix: Split off setup-dafny-from-source-action Validate action #139: Pull request #28 synchronize by robin-aws
May 23, 2025 18:28 56s fix-build-dafny-from-source
fix-build-dafny-from-source
May 23, 2025 18:28 56s
Upgrading to .NET 9 Validate action #138: Pull request #30 opened by ssomayyajula
March 19, 2025 15:56 15s ssomayyajula-dotnet-9
ssomayyajula-dotnet-9
March 19, 2025 15:56 15s
Merge pull request #29 from dafny-lang/dotnet Validate action #137: Commit f24d1ce pushed by keyboardDrummer
February 27, 2025 12:42 22s main
main
February 27, 2025 12:42 22s
Update dotnet version Validate action #136: Pull request #29 opened by stefan-aws
February 27, 2025 12:34 24s dotnet
dotnet
February 27, 2025 12:34 24s
fix: Split off setup-dafny-from-source-action Validate action #135: Pull request #28 synchronize by robin-aws
January 23, 2025 21:55 1m 6s fix-build-dafny-from-source
fix-build-dafny-from-source
January 23, 2025 21:55 1m 6s
fix: Split off setup-dafny-from-source-action Validate action #134: Pull request #28 synchronize by robin-aws
January 23, 2025 21:34 16m 29s fix-build-dafny-from-source
fix-build-dafny-from-source
January 23, 2025 21:34 16m 29s
fix: Split off setup-dafny-from-source-action Validate action #133: Pull request #28 synchronize by robin-aws
January 23, 2025 21:18 1m 2s fix-build-dafny-from-source
fix-build-dafny-from-source
January 23, 2025 21:18 1m 2s
fix: Split off setup-dafny-from-source-action Validate action #132: Pull request #28 opened by robin-aws
January 23, 2025 21:17 28s fix-build-dafny-from-source
fix-build-dafny-from-source
January 23, 2025 21:17 28s
fix: Reference helper composite action with full path Validate action #131: Pull request #27 opened by robin-aws
January 23, 2025 20:45 30s robin-aws:fix-build-dafny-from-source
robin-aws:fix-build-dafny-from-source
January 23, 2025 20:45 30s
Support building Dafny from source (#26) Validate action #130: Commit 03b219c pushed by robin-aws
January 23, 2025 17:22 20s main
main
January 23, 2025 17:22 20s
Support building Dafny from source Validate action #129: Pull request #26 synchronize by robin-aws
January 21, 2025 16:36 23s support-building-from-source
support-building-from-source
January 21, 2025 16:36 23s
Support building Dafny from source Validate action #128: Pull request #26 synchronize by robin-aws
January 17, 2025 19:23 26s support-building-from-source
support-building-from-source
January 17, 2025 19:23 26s
Support building Dafny from source Validate action #127: Pull request #26 synchronize by robin-aws
January 17, 2025 00:50 4m 19s support-building-from-source
support-building-from-source
January 17, 2025 00:50 4m 19s
Support building Dafny from source Validate action #126: Pull request #26 synchronize by robin-aws
January 17, 2025 00:14 2m 16s support-building-from-source
support-building-from-source
January 17, 2025 00:14 2m 16s
Support building Dafny from source Validate action #125: Pull request #26 synchronize by robin-aws
January 16, 2025 23:52 5m 52s support-building-from-source
support-building-from-source
January 16, 2025 23:52 5m 52s
Support building Dafny from source Validate action #124: Pull request #26 synchronize by robin-aws
January 16, 2025 23:45 5m 45s support-building-from-source
support-building-from-source
January 16, 2025 23:45 5m 45s
Support building Dafny from source Validate action #123: Pull request #26 synchronize by robin-aws
January 16, 2025 22:29 6m 8s support-building-from-source
support-building-from-source
January 16, 2025 22:29 6m 8s