Skip to content

Actions: dafny-lang/dafny

Actions

Build and Test

Actions

Loading...

Showing runs from all workflows named Build and Test
16,014 workflow run results
16,014 workflow run results
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Use a separate dotnet process for compiling C# programs Build and Test Dafny Standard Libraries #2772: Pull request #5517 synchronize by fabiomadge
June 10, 2024 13:39 21m 20s keyboardDrummer:useDotnetForCompilation
keyboardDrummer:useDotnetForCompilation
June 10, 2024 13:39 21m 20s
Use a separate dotnet process for compiling C# programs Build and Test #18506: Pull request #5517 synchronize by fabiomadge
June 10, 2024 13:39 1h 43m 13s keyboardDrummer:useDotnetForCompilation
keyboardDrummer:useDotnetForCompilation
June 10, 2024 13:39 1h 43m 13s
Fix bug in projectAsLibrary test Build and Test Dafny Standard Libraries #2771: Pull request #5545 synchronize by keyboardDrummer
June 10, 2024 13:36 31m 35s keyboardDrummer:projectAsLibraryFix
keyboardDrummer:projectAsLibraryFix
June 10, 2024 13:36 31m 35s
Fix bug in projectAsLibrary test Build and Test Dafny Runtimes #8042: Pull request #5545 synchronize by keyboardDrummer
June 10, 2024 13:36 4m 1s keyboardDrummer:projectAsLibraryFix
keyboardDrummer:projectAsLibraryFix
June 10, 2024 13:36 4m 1s
Fix bug in projectAsLibrary test Build and Test #18505: Pull request #5545 synchronize by keyboardDrummer
June 10, 2024 13:36 44m 50s keyboardDrummer:projectAsLibraryFix
keyboardDrummer:projectAsLibraryFix
June 10, 2024 13:36 44m 50s
Fix bug in projectAsLibrary test Build and Test #18504: Pull request #5545 synchronize by keyboardDrummer
June 10, 2024 13:18 29m 35s keyboardDrummer:projectAsLibraryFix
keyboardDrummer:projectAsLibraryFix
June 10, 2024 13:18 29m 35s
Fix bug in projectAsLibrary test Build and Test Dafny Standard Libraries #2770: Pull request #5545 synchronize by keyboardDrummer
June 10, 2024 13:18 26m 12s keyboardDrummer:projectAsLibraryFix
keyboardDrummer:projectAsLibraryFix
June 10, 2024 13:18 26m 12s
Fix bug in projectAsLibrary test Build and Test Dafny Runtimes #8041: Pull request #5545 synchronize by keyboardDrummer
June 10, 2024 13:18 4m 11s keyboardDrummer:projectAsLibraryFix
keyboardDrummer:projectAsLibraryFix
June 10, 2024 13:18 4m 11s
Fix null ref in covered tokens Build and Test #18503: Pull request #5548 opened by keyboardDrummer
June 10, 2024 11:06 12m 51s keyboardDrummer:fixNullRefInCoveredTokens
keyboardDrummer:fixNullRefInCoveredTokens
June 10, 2024 11:06 12m 51s
Fix null ref in covered tokens Build and Test Dafny Standard Libraries #2769: Pull request #5548 opened by keyboardDrummer
June 10, 2024 11:06 18m 56s keyboardDrummer:fixNullRefInCoveredTokens
keyboardDrummer:fixNullRefInCoveredTokens
June 10, 2024 11:06 18m 56s
Fix null ref in covered tokens Build and Test Dafny Runtimes #8040: Pull request #5548 opened by keyboardDrummer
June 10, 2024 11:06 4m 7s keyboardDrummer:fixNullRefInCoveredTokens
keyboardDrummer:fixNullRefInCoveredTokens
June 10, 2024 11:06 4m 7s
Fix bug in projectAsLibrary test Build and Test Dafny Runtimes #8039: Pull request #5545 synchronize by keyboardDrummer
June 10, 2024 08:08 6m 50s keyboardDrummer:projectAsLibraryFix
keyboardDrummer:projectAsLibraryFix
June 10, 2024 08:08 6m 50s
Fix bug in projectAsLibrary test Build and Test Dafny Standard Libraries #2768: Pull request #5545 synchronize by keyboardDrummer
June 10, 2024 08:08 40m 24s keyboardDrummer:projectAsLibraryFix
keyboardDrummer:projectAsLibraryFix
June 10, 2024 08:08 40m 24s
Fix bug in projectAsLibrary test Build and Test #18502: Pull request #5545 synchronize by keyboardDrummer
June 10, 2024 08:08 1h 5m 58s keyboardDrummer:projectAsLibraryFix
keyboardDrummer:projectAsLibraryFix
June 10, 2024 08:08 1h 5m 58s
Fix bug in projectAsLibrary test Build and Test Dafny Runtimes #8038: Pull request #5545 synchronize by keyboardDrummer
June 10, 2024 08:07 4m 8s keyboardDrummer:projectAsLibraryFix
keyboardDrummer:projectAsLibraryFix
June 10, 2024 08:07 4m 8s
Fix bug in projectAsLibrary test Build and Test Dafny Standard Libraries #2767: Pull request #5545 synchronize by keyboardDrummer
June 10, 2024 08:07 21m 3s keyboardDrummer:projectAsLibraryFix
keyboardDrummer:projectAsLibraryFix
June 10, 2024 08:07 21m 3s
Fix bug in projectAsLibrary test Build and Test #18501: Pull request #5545 synchronize by keyboardDrummer
June 10, 2024 08:07 33m 4s keyboardDrummer:projectAsLibraryFix
keyboardDrummer:projectAsLibraryFix
June 10, 2024 08:07 33m 4s
Chore: No extra newtype test Build and Test Dafny Runtimes #8037: Pull request #5506 synchronize by RustanLeino
June 8, 2024 22:52 3m 50s chore-no-extra-newtype-test
chore-no-extra-newtype-test
June 8, 2024 22:52 3m 50s
Chore: No extra newtype test Build and Test Dafny Standard Libraries #2766: Pull request #5506 synchronize by RustanLeino
June 8, 2024 22:52 18m 10s chore-no-extra-newtype-test
chore-no-extra-newtype-test
June 8, 2024 22:52 18m 10s
Chore: No extra newtype test Build and Test #18500: Pull request #5506 synchronize by RustanLeino
June 8, 2024 22:52 33m 41s chore-no-extra-newtype-test
chore-no-extra-newtype-test
June 8, 2024 22:52 33m 41s
feat: Add bounded polymorphism Build and Test Dafny Runtimes #8036: Pull request #5547 opened by RustanLeino
June 8, 2024 22:52 3m 47s RustanLeino:bounded-polymorphism
RustanLeino:bounded-polymorphism
June 8, 2024 22:52 3m 47s
feat: Add bounded polymorphism Build and Test #18499: Pull request #5547 opened by RustanLeino
June 8, 2024 22:52 27m 45s RustanLeino:bounded-polymorphism
RustanLeino:bounded-polymorphism
June 8, 2024 22:52 27m 45s
feat: Add bounded polymorphism Build and Test Dafny Standard Libraries #2765: Pull request #5547 opened by RustanLeino
June 8, 2024 22:52 18m 48s RustanLeino:bounded-polymorphism
RustanLeino:bounded-polymorphism
June 8, 2024 22:52 18m 48s
feat: Allow type parameters on newtypes Build and Test Dafny Runtimes #8035: Pull request #5495 synchronize by RustanLeino
June 8, 2024 21:23 4m 8s RustanLeino:newtype-type-params
RustanLeino:newtype-type-params
June 8, 2024 21:23 4m 8s
feat: Allow type parameters on newtypes Build and Test Dafny Standard Libraries #2764: Pull request #5495 synchronize by RustanLeino
June 8, 2024 21:23 20m 9s RustanLeino:newtype-type-params
RustanLeino:newtype-type-params
June 8, 2024 21:23 20m 9s