Skip to content

Actions: boogie-org/boogie

Actions

Boogie CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
524 workflow runs
524 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Enable marking if commands as {:allow_split} or not Boogie CI #1817: Pull request #960 opened by keyboardDrummer
October 4, 2024 12:01 6m 7s keyboardDrummer:isolatePathsNext
keyboardDrummer:isolatePathsNext
October 4, 2024 12:01 6m 7s
Move some classes into separate files. Fix incorrect casing Boogie CI #1816: Pull request #959 opened by keyboardDrummer
October 4, 2024 11:33 5m 35s keyboardDrummer:refactoring2
keyboardDrummer:refactoring2
October 4, 2024 11:33 5m 35s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands Boogie CI #1815: Pull request #952 synchronize by keyboardDrummer
October 4, 2024 11:18 5m 36s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 4, 2024 11:18 5m 36s
feat: Verification coverage analysis for axioms Boogie CI #1814: Pull request #948 synchronize by fabiomadge
October 3, 2024 22:46 5m 46s fabiomadge:add_axiom_tracking
fabiomadge:add_axiom_tracking
October 3, 2024 22:46 5m 46s
feat: Verification coverage analysis for axioms Boogie CI #1813: Pull request #948 synchronize by fabiomadge
October 3, 2024 22:25 4m 54s fabiomadge:add_axiom_tracking
fabiomadge:add_axiom_tracking
October 3, 2024 22:25 4m 54s
feat: Verification coverage analysis for axioms Boogie CI #1812: Pull request #948 synchronize by fabiomadge
October 3, 2024 22:24 5m 48s fabiomadge:add_axiom_tracking
fabiomadge:add_axiom_tracking
October 3, 2024 22:24 5m 48s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands Boogie CI #1811: Pull request #952 synchronize by keyboardDrummer
October 3, 2024 14:59 5m 47s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 3, 2024 14:59 5m 47s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands Boogie CI #1810: Pull request #952 synchronize by keyboardDrummer
October 3, 2024 10:37 5m 54s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 3, 2024 10:37 5m 54s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands Boogie CI #1809: Pull request #952 synchronize by keyboardDrummer
October 3, 2024 10:32 5m 51s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 3, 2024 10:32 5m 51s
Extract refactorings from #952 Boogie CI #1808: Pull request #957 synchronize by keyboardDrummer
October 3, 2024 10:27 5m 18s keyboardDrummer:refactor
keyboardDrummer:refactor
October 3, 2024 10:27 5m 18s
Extract refactorings from #952 Boogie CI #1807: Pull request #957 synchronize by keyboardDrummer
October 3, 2024 10:06 4m 44s keyboardDrummer:refactor
keyboardDrummer:refactor
October 3, 2024 10:06 4m 44s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands Boogie CI #1806: Pull request #952 synchronize by keyboardDrummer
October 3, 2024 09:37 5m 54s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 3, 2024 09:37 5m 54s
[Civl] Permissions cleanup Boogie CI #1805: Pull request #956 synchronize by shazqadeer
October 2, 2024 17:31 5m 23s lin-cleanup
lin-cleanup
October 2, 2024 17:31 5m 23s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands Boogie CI #1804: Pull request #952 synchronize by keyboardDrummer
October 2, 2024 14:52 6m 17s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 2, 2024 14:52 6m 17s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands Boogie CI #1803: Pull request #952 synchronize by keyboardDrummer
October 2, 2024 14:38 6m 9s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 2, 2024 14:38 6m 9s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands Boogie CI #1802: Pull request #952 synchronize by keyboardDrummer
October 2, 2024 14:09 6m 33s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 2, 2024 14:09 6m 33s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands Boogie CI #1801: Pull request #952 synchronize by keyboardDrummer
October 2, 2024 13:11 5m 31s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 2, 2024 13:11 5m 31s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands Boogie CI #1800: Pull request #952 synchronize by keyboardDrummer
October 2, 2024 13:03 1m 30s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 2, 2024 13:03 1m 30s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands Boogie CI #1799: Pull request #952 synchronize by keyboardDrummer
October 2, 2024 11:27 1m 15s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 2, 2024 11:27 1m 15s
Extract refactorings from #952 Boogie CI #1798: Pull request #957 opened by keyboardDrummer
October 2, 2024 11:26 1m 6s keyboardDrummer:refactor
keyboardDrummer:refactor
October 2, 2024 11:26 1m 6s
Introduce {:isolate} and {:isolate "paths"} attributes for assert and return commands Boogie CI #1797: Pull request #952 synchronize by keyboardDrummer
October 2, 2024 11:13 1m 22s keyboardDrummer:isolatePaths
keyboardDrummer:isolatePaths
October 2, 2024 11:13 1m 22s
[Civl] Permissions cleanup Boogie CI #1796: Pull request #956 synchronize by shazqadeer
October 1, 2024 21:51 5m 31s lin-cleanup
lin-cleanup
October 1, 2024 21:51 5m 31s
[Civl] Permissions cleanup Boogie CI #1795: Pull request #956 synchronize by shazqadeer
October 1, 2024 21:33 5m 43s lin-cleanup
lin-cleanup
October 1, 2024 21:33 5m 43s
[Civl] Permissions cleanup Boogie CI #1794: Pull request #956 synchronize by shazqadeer
October 1, 2024 14:55 5m 34s lin-cleanup
lin-cleanup
October 1, 2024 14:55 5m 34s
[Civl] Permissions cleanup Boogie CI #1793: Pull request #956 synchronize by shazqadeer
October 1, 2024 13:29 5m 29s lin-cleanup
lin-cleanup
October 1, 2024 13:29 5m 29s