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
217 workflow runs
217 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

LTL checking macOS build and test #230: Commit 9a25499 pushed by RipplB
November 2, 2024 10:10 16m 44s ltl2
ltl2
November 2, 2024 10:10 16m 44s
LTL checking macOS build and test #229: Commit 287f5a4 pushed by RipplB
November 1, 2024 21:45 12m 45s ltl2
ltl2
November 1, 2024 21:45 12m 45s
LTL checking macOS build and test #228: Commit e617a1f pushed by RipplB
November 1, 2024 19:23 21m 44s ltl2
ltl2
November 1, 2024 19:23 21m 44s
init copy macOS build and test #227: Commit 0f5ce94 pushed by RipplB
November 1, 2024 18:23 25m 18s ltl2
ltl2
November 1, 2024 18:23 25m 18s
formatting macOS build and test #226: Commit 930c58d pushed by RipplB
October 30, 2024 13:35 25m 25s ltl2
ltl2
October 30, 2024 13:35 25m 25s
formatting macOS build and test #225: Commit 8756c32 pushed by RipplB
October 30, 2024 13:20 14m 57s ltl2
ltl2
October 30, 2024 13:20 14m 57s
init copy macOS build and test #224: Commit 08866e1 pushed by RipplB
October 30, 2024 13:05 15m 4s ltl2
ltl2
October 30, 2024 13:05 15m 4s
init copy macOS build and test #223: Commit 633345a pushed by RipplB
October 30, 2024 12:24 19m 41s ltl2
ltl2
October 30, 2024 12:24 19m 41s
init copy macOS build and test #222: Commit 918bafc pushed by RipplB
October 30, 2024 10:38 23m 30s ltl2
ltl2
October 30, 2024 10:38 23m 30s
init copy macOS build and test #221: Commit f5e5f59 pushed by RipplB
October 30, 2024 00:14 7m 30s ltl2
ltl2
October 30, 2024 00:14 7m 30s
init copy macOS build and test #220: Commit 91bb03b pushed by RipplB
October 29, 2024 23:55 9m 48s ltl2
ltl2
October 29, 2024 23:55 9m 48s
Convert AcceptancePredicate to kotlin macOS build and test #219: Commit b1af09c pushed by RipplB
October 22, 2024 18:45 3m 54s ltl2
ltl2
October 22, 2024 18:45 3m 54s
Merge pull request #304 from RipplB/arg_decouple macOS build and test #218: Commit 529352a pushed by RipplB
October 22, 2024 18:40 21m 39s master
master
October 22, 2024 18:40 21m 39s
Further generalize refiners macOS build and test #217: Commit 35dee48 pushed by RipplB
October 21, 2024 20:30 20m 33s arg_decouple
arg_decouple
October 21, 2024 20:30 20m 33s
Further generalize refiners macOS build and test #216: Commit c93593b pushed by RipplB
October 21, 2024 19:28 20m 49s arg_decouple
arg_decouple
October 21, 2024 19:28 20m 49s
Merge pull request #309 from ftsrg/reformat-fix macOS build and test #215: Commit 55c083c pushed by RipplB
October 21, 2024 19:24 26m 31s master
master
October 21, 2024 19:24 26m 31s
Merge branch 'master' into arg_decouple macOS build and test #214: Commit d0e950f pushed by leventeBajczi
October 21, 2024 19:10 18m 5s arg_decouple
arg_decouple
October 21, 2024 19:10 18m 5s
Further generalize refiners macOS build and test #213: Commit df1fc2f pushed by RipplB
October 16, 2024 20:46 15m 50s arg_decouple
arg_decouple
October 16, 2024 20:46 15m 50s
Further generalize refiners macOS build and test #212: Commit b1b239e pushed by RipplB
October 16, 2024 20:36 6m 4s arg_decouple
arg_decouple
October 16, 2024 20:36 6m 4s
Convert AcceptancePredicate to kotlin macOS build and test #211: Commit 9033f91 pushed by RipplB
October 16, 2024 09:46 8m 34s ltl2
ltl2
October 16, 2024 09:46 8m 34s
Move to CegarChecker macOS build and test #210: Commit 242a887 pushed by RipplB
October 16, 2024 00:09 7m 37s ltl2
ltl2
October 16, 2024 00:09 7m 37s
Run after rebase to generalization macOS build and test #209: Commit 051f82c pushed by RipplB
October 15, 2024 22:48 8m 7s ltl2
ltl2
October 15, 2024 22:48 8m 7s
Rename Witness to Proof macOS build and test #208: Commit a62fe2b pushed by RipplB
October 12, 2024 06:53 14m 2s arg_decouple
arg_decouple
October 12, 2024 06:53 14m 2s
Rename Witness to Proof macOS build and test #207: Commit 291e948 pushed by RipplB
October 12, 2024 06:43 10m 29s arg_decouple
arg_decouple
October 12, 2024 06:43 10m 29s
Generalize abstractor, refiner, cegarchecker, visualizer macOS build and test #206: Commit 6b0cbfb pushed by RipplB
October 8, 2024 20:53 21m 33s arg_decouple
arg_decouple
October 8, 2024 20:53 21m 33s