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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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