Skip to content

Actions: boogie-org/boogie

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
961 workflow runs
961 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Isolate path refactorings Boogie CI #1871: Pull request #969 synchronize by keyboardDrummer
October 22, 2024 14:20 5m 40s keyboardDrummer:isolatePathRefactorings
keyboardDrummer:isolatePathRefactorings
October 22, 2024 14:20 5m 40s
Enable marking if commands as {:allow_split} or not Boogie CI #1870: Pull request #970 synchronize by keyboardDrummer
October 22, 2024 13:44 5m 35s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 22, 2024 13:44 5m 35s
Enable marking if commands as {:allow_split} or not LeanAuto CI #369: Pull request #970 synchronize by keyboardDrummer
October 22, 2024 13:44 5m 34s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 22, 2024 13:44 5m 34s
Isolate path refactorings Boogie CI #1869: Pull request #969 synchronize by keyboardDrummer
October 22, 2024 10:27 5m 28s keyboardDrummer:isolatePathRefactorings
keyboardDrummer:isolatePathRefactorings
October 22, 2024 10:27 5m 28s
Isolate path refactorings LeanAuto CI #368: Pull request #969 synchronize by keyboardDrummer
October 22, 2024 10:27 5m 32s keyboardDrummer:isolatePathRefactorings
keyboardDrummer:isolatePathRefactorings
October 22, 2024 10:27 5m 32s
Enable marking if commands as {:allow_split} or not Boogie CI #1868: Pull request #970 opened by keyboardDrummer
October 22, 2024 09:55 5m 37s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 22, 2024 09:55 5m 37s
Enable marking if commands as {:allow_split} or not LeanAuto CI #367: Pull request #970 opened by keyboardDrummer
October 22, 2024 09:55 5m 32s keyboardDrummer:isolatePathsTake3
keyboardDrummer:isolatePathsTake3
October 22, 2024 09:55 5m 32s
Isolate path refactorings LeanAuto CI #366: Pull request #969 opened by keyboardDrummer
October 22, 2024 09:46 5m 23s keyboardDrummer:isolatePathRefactorings
keyboardDrummer:isolatePathRefactorings
October 22, 2024 09:46 5m 23s
Isolate path refactorings Boogie CI #1867: Pull request #969 opened by keyboardDrummer
October 22, 2024 09:46 4m 51s keyboardDrummer:isolatePathRefactorings
keyboardDrummer:isolatePathRefactorings
October 22, 2024 09:46 4m 51s
Enable marking if commands as {:allow_split} or not LeanAuto CI #365: Pull request #967 synchronize by keyboardDrummer
October 22, 2024 09:43 5m 43s keyboardDrummer:isolatePathsTakeTwo
keyboardDrummer:isolatePathsTakeTwo
October 22, 2024 09:43 5m 43s
Enable marking if commands as {:allow_split} or not Boogie CI #1866: Pull request #967 synchronize by keyboardDrummer
October 22, 2024 09:43 5m 27s keyboardDrummer:isolatePathsTakeTwo
keyboardDrummer:isolatePathsTakeTwo
October 22, 2024 09:43 5m 27s
Enable marking if commands as {:allow_split} or not Boogie CI #1865: Pull request #967 synchronize by keyboardDrummer
October 22, 2024 09:23 5m 33s keyboardDrummer:isolatePathsTakeTwo
keyboardDrummer:isolatePathsTakeTwo
October 22, 2024 09:23 5m 33s
Enable marking if commands as {:allow_split} or not LeanAuto CI #364: Pull request #967 synchronize by keyboardDrummer
October 22, 2024 09:23 5m 45s keyboardDrummer:isolatePathsTakeTwo
keyboardDrummer:isolatePathsTakeTwo
October 22, 2024 09:23 5m 45s
Undo revert 966 and add fixes Boogie CI #1864: Pull request #968 synchronize by keyboardDrummer
October 21, 2024 16:09 5m 34s keyboardDrummer:rerevert
keyboardDrummer:rerevert
October 21, 2024 16:09 5m 34s
Undo revert 966 and add fixes LeanAuto CI #363: Pull request #968 synchronize by keyboardDrummer
October 21, 2024 16:09 5m 24s keyboardDrummer:rerevert
keyboardDrummer:rerevert
October 21, 2024 16:09 5m 24s
Enable marking if commands as {:allow_split} or not Boogie CI #1863: Pull request #967 synchronize by keyboardDrummer
October 21, 2024 14:56 5m 1s keyboardDrummer:isolatePathsTakeTwo
keyboardDrummer:isolatePathsTakeTwo
October 21, 2024 14:56 5m 1s
Enable marking if commands as {:allow_split} or not LeanAuto CI #362: Pull request #967 synchronize by keyboardDrummer
October 21, 2024 14:56 5m 43s keyboardDrummer:isolatePathsTakeTwo
keyboardDrummer:isolatePathsTakeTwo
October 21, 2024 14:56 5m 43s
Enable marking if commands as {:allow_split} or not Boogie CI #1862: Pull request #967 synchronize by keyboardDrummer
October 21, 2024 14:41 5m 8s keyboardDrummer:isolatePathsTakeTwo
keyboardDrummer:isolatePathsTakeTwo
October 21, 2024 14:41 5m 8s
Enable marking if commands as {:allow_split} or not LeanAuto CI #361: Pull request #967 synchronize by keyboardDrummer
October 21, 2024 14:41 5m 30s keyboardDrummer:isolatePathsTakeTwo
keyboardDrummer:isolatePathsTakeTwo
October 21, 2024 14:41 5m 30s
Enable marking if commands as {:allow_split} or not Boogie CI #1861: Pull request #967 synchronize by keyboardDrummer
October 18, 2024 15:19 4m 53s keyboardDrummer:isolatePathsTakeTwo
keyboardDrummer:isolatePathsTakeTwo
October 18, 2024 15:19 4m 53s
Enable marking if commands as {:allow_split} or not LeanAuto CI #360: Pull request #967 synchronize by keyboardDrummer
October 18, 2024 15:19 5m 38s keyboardDrummer:isolatePathsTakeTwo
keyboardDrummer:isolatePathsTakeTwo
October 18, 2024 15:19 5m 38s
Undo revert 966 and add fixes Boogie CI #1860: Pull request #968 synchronize by keyboardDrummer
October 18, 2024 14:49 5m 28s keyboardDrummer:rerevert
keyboardDrummer:rerevert
October 18, 2024 14:49 5m 28s
Undo revert 966 and add fixes LeanAuto CI #359: Pull request #968 synchronize by keyboardDrummer
October 18, 2024 14:49 5m 26s keyboardDrummer:rerevert
keyboardDrummer:rerevert
October 18, 2024 14:49 5m 26s
Undo revert 966 and add fixes Boogie CI #1859: Pull request #968 synchronize by keyboardDrummer
October 18, 2024 13:27 4m 55s keyboardDrummer:rerevert
keyboardDrummer:rerevert
October 18, 2024 13:27 4m 55s
Undo revert 966 and add fixes LeanAuto CI #358: Pull request #968 synchronize by keyboardDrummer
October 18, 2024 13:27 5m 34s keyboardDrummer:rerevert
keyboardDrummer:rerevert
October 18, 2024 13:27 5m 34s