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

Penetrating by blocks Build and Test Dafny Runtimes #8662: Pull request #5779 synchronize by keyboardDrummer
September 24, 2024 09:05 4m 54s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 24, 2024 09:05 4m 54s
Penetrating by blocks Build and Test Dafny Standard Libraries #3391: Pull request #5779 synchronize by keyboardDrummer
September 24, 2024 09:05 16m 32s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 24, 2024 09:05 16m 32s
Penetrating by blocks Build and Test #19125: Pull request #5779 synchronize by keyboardDrummer
September 24, 2024 09:05 25m 40s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 24, 2024 09:05 25m 40s
Penetrating by blocks Build and Test Dafny Standard Libraries #3390: Pull request #5779 synchronize by keyboardDrummer
September 24, 2024 07:02 18m 14s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 24, 2024 07:02 18m 14s
Penetrating by blocks Build and Test #19124: Pull request #5779 synchronize by keyboardDrummer
September 24, 2024 07:02 24m 44s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 24, 2024 07:02 24m 44s
Penetrating by blocks Build and Test Dafny Runtimes #8661: Pull request #5779 synchronize by keyboardDrummer
September 24, 2024 07:02 5m 6s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 24, 2024 07:02 5m 6s
Chore: Rust refactorings Build and Test Dafny Runtimes #8660: Pull request #5786 synchronize by MikaelMayer
September 23, 2024 17:45 3m 21s chore-refactorings
chore-refactorings
September 23, 2024 17:45 3m 21s
Chore: Rust refactorings Build and Test #19123: Pull request #5786 synchronize by MikaelMayer
September 23, 2024 17:45 25m 27s chore-refactorings
chore-refactorings
September 23, 2024 17:45 25m 27s
Chore: Rust refactorings Build and Test Dafny Standard Libraries #3389: Pull request #5786 synchronize by MikaelMayer
September 23, 2024 17:45 20m 30s chore-refactorings
chore-refactorings
September 23, 2024 17:45 20m 30s
Penetrating by blocks Build and Test #19122: Pull request #5779 synchronize by keyboardDrummer
September 23, 2024 16:12 1h 39m 12s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 23, 2024 16:12 1h 39m 12s
Penetrating by blocks Build and Test Dafny Runtimes #8659: Pull request #5779 synchronize by keyboardDrummer
September 23, 2024 16:12 2m 42s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 23, 2024 16:12 2m 42s
Penetrating by blocks Build and Test Dafny Standard Libraries #3388: Pull request #5779 synchronize by keyboardDrummer
September 23, 2024 16:12 7m 22s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 23, 2024 16:12 7m 22s
Penetrating by blocks Build and Test Dafny Runtimes #8658: Pull request #5779 synchronize by keyboardDrummer
September 23, 2024 16:06 2m 20s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 23, 2024 16:06 2m 20s
Penetrating by blocks Build and Test Dafny Standard Libraries #3387: Pull request #5779 synchronize by keyboardDrummer
September 23, 2024 16:06 2m 58s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 23, 2024 16:06 2m 58s
Penetrating by blocks Build and Test #19121: Pull request #5779 synchronize by keyboardDrummer
September 23, 2024 16:06 5m 25s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 23, 2024 16:06 5m 25s
Penetrating by blocks Build and Test #19120: Pull request #5779 synchronize by keyboardDrummer
September 23, 2024 15:49 1h 0m 54s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 23, 2024 15:49 1h 0m 54s
Penetrating by blocks Build and Test Dafny Runtimes #8657: Pull request #5779 synchronize by keyboardDrummer
September 23, 2024 15:49 2m 56s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 23, 2024 15:49 2m 56s
Penetrating by blocks Build and Test Dafny Standard Libraries #3386: Pull request #5779 synchronize by keyboardDrummer
September 23, 2024 15:49 4m 17s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 23, 2024 15:49 4m 17s
By block refactoring Build and Test #19119: Pull request #5789 synchronize by keyboardDrummer
September 23, 2024 14:29 15m 41s keyboardDrummer:byBlockRefactoring
keyboardDrummer:byBlockRefactoring
September 23, 2024 14:29 15m 41s
By block refactoring Build and Test Dafny Standard Libraries #3385: Pull request #5789 synchronize by keyboardDrummer
September 23, 2024 14:29 15m 29s keyboardDrummer:byBlockRefactoring
keyboardDrummer:byBlockRefactoring
September 23, 2024 14:29 15m 29s
By block refactoring Build and Test Dafny Runtimes #8656: Pull request #5789 synchronize by keyboardDrummer
September 23, 2024 14:29 5m 11s keyboardDrummer:byBlockRefactoring
keyboardDrummer:byBlockRefactoring
September 23, 2024 14:29 5m 11s
Penetrating by blocks Build and Test #19118: Pull request #5779 synchronize by keyboardDrummer
September 23, 2024 14:09 1h 0m 50s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 23, 2024 14:09 1h 0m 50s
Penetrating by blocks Build and Test Dafny Runtimes #8655: Pull request #5779 synchronize by keyboardDrummer
September 23, 2024 14:09 2m 35s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 23, 2024 14:09 2m 35s
Penetrating by blocks Build and Test Dafny Standard Libraries #3384: Pull request #5779 synchronize by keyboardDrummer
September 23, 2024 14:09 5m 58s keyboardDrummer:penetratingByBlocks
keyboardDrummer:penetratingByBlocks
September 23, 2024 14:09 5m 58s
By block refactoring Build and Test Dafny Standard Libraries #3383: Pull request #5789 synchronize by keyboardDrummer
September 23, 2024 12:56 2m 43s keyboardDrummer:byBlockRefactoring
keyboardDrummer:byBlockRefactoring
September 23, 2024 12:56 2m 43s