Skip to content

Actions: dafny-lang/dafny

Actions

Build and Test

Actions

Loading...
Loading

Showing runs from all workflows named Build and Test
14,809 workflow run results
14,809 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make hide/reveal work for the old resolver Build and Test Dafny Runtimes #8646: Pull request #5780 synchronize by keyboardDrummer
September 19, 2024 13:29 8m 59s keyboardDrummer:hideRevealOldTypeSystem
keyboardDrummer:hideRevealOldTypeSystem
September 19, 2024 13:29 8m 59s
Make hide/reveal work for the old resolver Build and Test #19108: Pull request #5780 synchronize by keyboardDrummer
September 19, 2024 13:28 32m 16s keyboardDrummer:hideRevealOldTypeSystem
keyboardDrummer:hideRevealOldTypeSystem
September 19, 2024 13:28 32m 16s
Make hide/reveal work for the old resolver Build and Test Dafny Runtimes #8645: Pull request #5780 synchronize by keyboardDrummer
September 19, 2024 13:28 5m 0s keyboardDrummer:hideRevealOldTypeSystem
keyboardDrummer:hideRevealOldTypeSystem
September 19, 2024 13:28 5m 0s
Make hide/reveal work for the old resolver Build and Test Dafny Standard Libraries #3374: Pull request #5780 synchronize by keyboardDrummer
September 19, 2024 13:28 20m 54s keyboardDrummer:hideRevealOldTypeSystem
keyboardDrummer:hideRevealOldTypeSystem
September 19, 2024 13:28 20m 54s
Add missing PreResolve plugin hook Build and Test #19107: Pull request #5777 synchronize by keyboardDrummer
September 19, 2024 08:42 26m 47s dschoepe:add-preresolve
dschoepe:add-preresolve
September 19, 2024 08:42 26m 47s
Add missing PreResolve plugin hook Build and Test Dafny Standard Libraries #3373: Pull request #5777 synchronize by keyboardDrummer
September 19, 2024 08:42 18m 50s dschoepe:add-preresolve
dschoepe:add-preresolve
September 19, 2024 08:42 18m 50s
Add missing PreResolve plugin hook Build and Test Dafny Runtimes #8644: Pull request #5777 synchronize by keyboardDrummer
September 19, 2024 08:42 5m 12s dschoepe:add-preresolve
dschoepe:add-preresolve
September 19, 2024 08:42 5m 12s
Chore refactoring types Build and Test Dafny Standard Libraries #3372: Pull request #5782 synchronize by MikaelMayer
September 18, 2024 20:19 18m 44s chore-refactoring-types
chore-refactoring-types
September 18, 2024 20:19 18m 44s
Chore refactoring types Build and Test Dafny Runtimes #8643: Pull request #5782 synchronize by MikaelMayer
September 18, 2024 20:19 4m 57s chore-refactoring-types
chore-refactoring-types
September 18, 2024 20:19 4m 57s
Chore refactoring types Build and Test #19106: Pull request #5782 synchronize by MikaelMayer
September 18, 2024 20:19 27m 57s chore-refactoring-types
chore-refactoring-types
September 18, 2024 20:19 27m 57s
Add missing PreResolve plugin hook Build and Test Dafny Runtimes #8642: Pull request #5777 synchronize by dschoepe
September 18, 2024 19:16 5m 0s dschoepe:add-preresolve
dschoepe:add-preresolve
September 18, 2024 19:16 5m 0s
Add missing PreResolve plugin hook Build and Test #19105: Pull request #5777 synchronize by dschoepe
September 18, 2024 19:16 31m 19s dschoepe:add-preresolve
dschoepe:add-preresolve
September 18, 2024 19:16 31m 19s
Add missing PreResolve plugin hook Build and Test Dafny Standard Libraries #3371: Pull request #5777 synchronize by dschoepe
September 18, 2024 19:16 18m 1s dschoepe:add-preresolve
dschoepe:add-preresolve
September 18, 2024 19:16 18m 1s
Chore refactoring types Build and Test Dafny Runtimes #8641: Pull request #5782 opened by MikaelMayer
September 18, 2024 19:09 5m 37s chore-refactoring-types
chore-refactoring-types
September 18, 2024 19:09 5m 37s
Chore refactoring types Build and Test Dafny Standard Libraries #3370: Pull request #5782 opened by MikaelMayer
September 18, 2024 19:09 20m 55s chore-refactoring-types
chore-refactoring-types
September 18, 2024 19:09 20m 55s
Chore refactoring types Build and Test #19104: Pull request #5782 opened by MikaelMayer
September 18, 2024 19:09 15m 24s chore-refactoring-types
chore-refactoring-types
September 18, 2024 19:09 15m 24s
Remove usage of opaque from standard library Build and Test Dafny Standard Libraries #3369: Pull request #5781 synchronize by keyboardDrummer
September 18, 2024 14:11 26m 28s keyboardDrummer:hideRevealStdLib
keyboardDrummer:hideRevealStdLib
September 18, 2024 14:11 26m 28s
Remove usage of opaque from standard library Build and Test Dafny Runtimes #8640: Pull request #5781 synchronize by keyboardDrummer
September 18, 2024 14:11 5m 2s keyboardDrummer:hideRevealStdLib
keyboardDrummer:hideRevealStdLib
September 18, 2024 14:11 5m 2s
Remove usage of opaque from standard library Build and Test #19103: Pull request #5781 synchronize by keyboardDrummer
September 18, 2024 14:11 1h 32m 55s keyboardDrummer:hideRevealStdLib
keyboardDrummer:hideRevealStdLib
September 18, 2024 14:11 1h 32m 55s
Remove usage of opaque from standard library Build and Test #19102: Pull request #5781 synchronize by keyboardDrummer
September 18, 2024 14:00 37m 16s keyboardDrummer:hideRevealStdLib
keyboardDrummer:hideRevealStdLib
September 18, 2024 14:00 37m 16s
Remove usage of opaque from standard library Build and Test Dafny Standard Libraries #3368: Pull request #5781 synchronize by keyboardDrummer
September 18, 2024 14:00 25m 22s keyboardDrummer:hideRevealStdLib
keyboardDrummer:hideRevealStdLib
September 18, 2024 14:00 25m 22s
Remove usage of opaque from standard library Build and Test Dafny Runtimes #8639: Pull request #5781 synchronize by keyboardDrummer
September 18, 2024 14:00 6m 17s keyboardDrummer:hideRevealStdLib
keyboardDrummer:hideRevealStdLib
September 18, 2024 14:00 6m 17s
Remove usage of opaque from standard library Build and Test Dafny Runtimes #8638: Pull request #5781 synchronize by keyboardDrummer
September 18, 2024 13:57 3m 6s keyboardDrummer:hideRevealStdLib
keyboardDrummer:hideRevealStdLib
September 18, 2024 13:57 3m 6s
Remove usage of opaque from standard library Build and Test Dafny Standard Libraries #3367: Pull request #5781 synchronize by keyboardDrummer
September 18, 2024 13:57 3m 6s keyboardDrummer:hideRevealStdLib
keyboardDrummer:hideRevealStdLib
September 18, 2024 13:57 3m 6s
Remove usage of opaque from standard library Build and Test #19101: Pull request #5781 synchronize by keyboardDrummer
September 18, 2024 13:57 3m 6s keyboardDrummer:hideRevealStdLib
keyboardDrummer:hideRevealStdLib
September 18, 2024 13:57 3m 6s