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

Generalize abstractor, refiner, cegarchecker, visualizer macOS build and test #205: Commit 9dd6759 pushed by RipplB
October 8, 2024 20:16 19m 54s arg_decouple
arg_decouple
October 8, 2024 20:16 19m 54s
init copy macOS build and test #204: Commit e9b9d8f pushed by RipplB
October 3, 2024 21:41 10m 31s ltl2
ltl2
October 3, 2024 21:41 10m 31s
Merge pull request #296 from ftsrg/add-svcomp-flag macOS build and test #203: Commit cb77d7e pushed by RipplB
October 3, 2024 07:44 21m 5s master
master
October 3, 2024 07:44 21m 5s
Added possibility to read LTL expression into a CFA object, which wor… macOS build and test #202: Commit f6442fc pushed by RipplB
August 30, 2024 13:48 11m 58s ltl2buchialt
ltl2buchialt
August 30, 2024 13:48 11m 58s
ltl macOS build and test #201: Commit f382dc1 pushed by RipplB
August 30, 2024 13:47 6m 0s ltlalt
ltlalt
August 30, 2024 13:47 6m 0s
Merge pull request #292 from RipplB/xsts-cli-clikt macOS build and test #200: Commit 575544c pushed by RipplB
August 12, 2024 08:37 25m 25s master
master
August 12, 2024 08:37 25m 25s
Removed custom line breaks macOS build and test #199: Commit 447943a pushed by mondokm
August 9, 2024 09:51 18m 51s xsts-cli-clikt
xsts-cli-clikt
August 9, 2024 09:51 18m 51s
Reformat file macOS build and test #198: Commit 9d62408 pushed by mondokm
August 9, 2024 09:47 3m 38s xsts-cli-clikt
xsts-cli-clikt
August 9, 2024 09:47 3m 38s
Move pn_mdd-related parameter from common inputs, reformat code macOS build and test #197: Commit 6eb1e4a pushed by mondokm
August 7, 2024 14:47 17m 4s xsts-cli-clikt
xsts-cli-clikt
August 7, 2024 14:47 17m 4s
Extract common printing macOS build and test #196: Commit c846c51 pushed by mondokm
August 7, 2024 14:38 8m 41s xsts-cli-clikt
xsts-cli-clikt
August 7, 2024 14:38 8m 41s
Improve help message macOS build and test #195: Commit 8d887ab pushed by mondokm
August 7, 2024 13:58 15m 5s xsts-cli-clikt
xsts-cli-clikt
August 7, 2024 13:58 15m 5s
Migrate XstsCli to Clikt macOS build and test #194: Commit 33b8240 pushed by RipplB
August 7, 2024 08:43 15m 29s xsts-cli-clikt
xsts-cli-clikt
August 7, 2024 08:43 15m 29s
Migrate XstsCli to Clikt macOS build and test #193: Commit 246169b pushed by RipplB
August 7, 2024 08:41 1m 45s xsts-cli-clikt
xsts-cli-clikt
August 7, 2024 08:41 1m 45s
Merge pull request #289 from ftsrg/xsts-chc macOS build and test #192: Commit d94385a pushed by RipplB
August 7, 2024 08:40 3m 39s master
master
August 7, 2024 08:40 3m 39s
Migrate XstsCli to Clikt macOS build and test #191: Commit 68ec577 pushed by RipplB
August 2, 2024 14:52 21m 52s xsts-cli-clikt
xsts-cli-clikt
August 2, 2024 14:52 21m 52s
Migrate XstsCli to Clikt macOS build and test #190: Commit 6b6a4ae pushed by RipplB
August 2, 2024 14:21 21m 8s xsts-cli-clikt
xsts-cli-clikt
August 2, 2024 14:21 21m 8s
Migrate XstsCli to Clikt macOS build and test #189: Commit 94a5b12 pushed by RipplB
August 2, 2024 13:59 7m 41s xsts-cli-clikt
xsts-cli-clikt
August 2, 2024 13:59 7m 41s
fixed maven-artifact macOS build and test #188: Commit 4177646 pushed by RipplB
August 2, 2024 08:13 28m 48s master
master
August 2, 2024 08:13 28m 48s
Turns out we cannot comment on the PR either. macOS build and test #187: Commit 4216e40 pushed by leventeBajczi
July 27, 2024 10:04 20m 38s fix-formatting
fix-formatting
July 27, 2024 10:04 20m 38s
make test-deploy action not fail if running from a fork macOS build and test #186: Commit 61421ee pushed by leventeBajczi
July 27, 2024 09:36 17m 25s fix-formatting
fix-formatting
July 27, 2024 09:36 17m 25s
Fix actions that require java 17 macOS build and test #185: Commit 5b2bcc5 pushed by RipplB
July 26, 2024 13:21 22m 13s fix-formatting
fix-formatting
July 26, 2024 13:21 22m 13s
Change all reference of codestyle to new path macOS build and test #184: Commit aac5977 pushed by RipplB
July 26, 2024 13:13 7m 41s fix-formatting
fix-formatting
July 26, 2024 13:13 7m 41s
Change all reference of codestyle to new path macOS build and test #183: Commit a77254e pushed by RipplB
July 26, 2024 13:05 8m 37s fix-formatting
fix-formatting
July 26, 2024 13:05 8m 37s
Merge pull request #283 from RipplB/qol macOS build and test #182: Commit a77c3ad pushed by RipplB
July 24, 2024 11:35 22m 8s master
master
July 24, 2024 11:35 22m 8s
Upgrade gradle, kotlin, mockito, mockito-kt macOS build and test #181: Commit e83249d pushed by RipplB
July 24, 2024 10:50 18m 28s qol
qol
July 24, 2024 10:50 18m 28s