Skip to content

Actions: RipplB/theta

Actions

Check formatting

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-formatting.yml
217 workflow runs
217 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #284 from ftsrg/bounded-portfolio Check formatting #180: Commit 36dc99e pushed by RipplB
July 24, 2024 10:48 1m 21s master
master
July 24, 2024 10:48 1m 21s
Upgrade gradle, kotlin, mockito, mockito-kt Check formatting #179: Commit fd5234f pushed by RipplB
July 23, 2024 16:19 1m 6s qol
qol
July 23, 2024 16:19 1m 6s
Upgrade gradle, kotlin, mockito, mockito-kt Check formatting #178: Commit 78853c2 pushed by RipplB
July 23, 2024 15:07 1m 17s qol
qol
July 23, 2024 15:07 1m 17s
Merge pull request #282 from ftsrg/horn-checker Check formatting #177: Commit 7571aaa pushed by RipplB
July 23, 2024 15:06 1m 37s master
master
July 23, 2024 15:06 1m 37s
Upgrade gradle, kotlin, mockito, mockito-kt Check formatting #176: Commit 951c049 pushed by RipplB
July 23, 2024 14:59 58s qol
qol
July 23, 2024 14:59 58s
ltl Check formatting #175: Commit ae5aa23 pushed by RipplB
July 22, 2024 20:33 1m 5s ltl
ltl
July 22, 2024 20:33 1m 5s
loopchecker Check formatting #174: Commit 3ae23e7 pushed by RipplB
July 20, 2024 20:33 58s ltl
ltl
July 20, 2024 20:33 58s
loopchecker Check formatting #173: Commit 7f45e41 pushed by RipplB
July 20, 2024 19:47 58s ltl
ltl
July 20, 2024 19:47 58s
loopchecker Check formatting #172: Commit 3fd10b8 pushed by RipplB
July 20, 2024 19:18 1m 4s ltl
ltl
July 20, 2024 19:18 1m 4s
loopchecker Check formatting #171: Commit 7c6260d pushed by RipplB
July 20, 2024 04:30 55s ltl
ltl
July 20, 2024 04:30 55s
Stage IntellIJ copyright and code style config Check formatting #170: Commit 3fc0338 pushed by RipplB
July 19, 2024 09:58 1m 17s ltl
ltl
July 19, 2024 09:58 1m 17s
Stage IntellIJ copyright config Check formatting #169: Commit 5589c6e pushed by RipplB
July 19, 2024 09:27 1m 27s ltl
ltl
July 19, 2024 09:27 1m 27s
Enable zip64 for shadow jars Check formatting #168: Commit 1067a8d pushed by RipplB
July 18, 2024 12:18 1m 20s ltl
ltl
July 18, 2024 12:18 1m 20s
Generalize abstractor, refiner, cegarchecker, visualizer Check formatting #167: Commit 6cfd2a7 pushed by RipplB
July 18, 2024 11:43 1m 15s ltl
ltl
July 18, 2024 11:43 1m 15s
Change big multi test CFA encoding to LBE Check formatting #166: Commit 76892d6 pushed by RipplB
July 18, 2024 11:06 1m 17s ltl
ltl
July 18, 2024 11:06 1m 17s
Added possibility to read LTL expression into a CFA object, which wor… Check formatting #165: Commit 882cedf pushed by RipplB
July 13, 2024 09:21 1m 23s ltl
ltl
July 13, 2024 09:21 1m 23s
Added possibility to read LTL expression into a CFA object, which wor… Check formatting #164: Commit e41fb16 pushed by RipplB
July 13, 2024 09:14 1m 13s ltl
ltl
July 13, 2024 09:14 1m 13s
Merge pull request #281 from ftsrg/zeta-merge Check formatting #163: Commit d825dc1 pushed by RipplB
July 12, 2024 22:02 1m 22s master
master
July 12, 2024 22:02 1m 22s
ANSD.Cursor::valueCursor accepts constraint Check formatting #162: Commit 063fa49 pushed by RipplB
July 12, 2024 20:41 1m 23s zeta-merge-clean
zeta-merge-clean
July 12, 2024 20:41 1m 23s
ANSD.Cursor::valueCursor accepts constraint Check formatting #161: Commit 532e5e7 pushed by RipplB
July 12, 2024 18:47 1m 20s zeta-merge-clean
zeta-merge-clean
July 12, 2024 18:47 1m 20s
Merge pull request #275 from ftsrg/chc-out Check formatting #160: Commit 081d68e pushed by RipplB
July 12, 2024 16:54 1m 28s master
master
July 12, 2024 16:54 1m 28s
Bump version Check formatting #159: Commit 69fab5e pushed by RipplB
July 12, 2024 16:54 35s zeta-merge-clean
zeta-merge-clean
July 12, 2024 16:54 35s
correction after rebase Check formatting #158: Commit 4b6d462 pushed by RipplB
July 12, 2024 16:52 1m 25s zeta-merge-clean
zeta-merge-clean
July 12, 2024 16:52 1m 25s
correction after rebase Check formatting #157: Commit 4b6d462 pushed by RipplB
July 9, 2024 13:39 1m 21s zeta-merge-clean
zeta-merge-clean
July 9, 2024 13:39 1m 21s
Merge pull request #272 from RipplB/enumtype_smtlib Check formatting #156: Commit 05f4293 pushed by RipplB
July 9, 2024 13:33 1m 22s master
master
July 9, 2024 13:33 1m 22s