Skip to content

Actions: RipplB/theta

Actions

Linux build-test-deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

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