Skip to content

Actions: RipplB/theta

Actions

macOS build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mac-build-test.yml
208 workflow runs
208 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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