Skip to content

Actions: ftsrg/theta

Actions

macOS build and test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mac-build-test.yml
1,369 workflow runs
1,369 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added monolthic l2s conversion (#337) macOS build and test #1886: Commit 4ea4856 pushed by leventeBajczi
February 16, 2025 17:19 17m 14s master
master
February 16, 2025 17:19 17m 14s
Added monolthic l2s conversion macOS build and test #1885: Pull request #337 synchronize by leventeBajczi
February 16, 2025 17:19 14m 50s mondokz:monolithic-l2s
mondokz:monolithic-l2s
February 16, 2025 17:19 14m 50s
Added monolthic l2s conversion macOS build and test #1884: Pull request #337 synchronize by leventeBajczi
February 16, 2025 17:17 1m 36s mondokz:monolithic-l2s
mondokz:monolithic-l2s
February 16, 2025 17:17 1m 36s
Added monolthic l2s conversion macOS build and test #1883: Pull request #337 synchronize by mondokz
February 14, 2025 19:07 16m 48s mondokz:monolithic-l2s
mondokz:monolithic-l2s
February 14, 2025 19:07 16m 48s
Added monolthic l2s conversion macOS build and test #1882: Pull request #337 synchronize by mondokz
February 14, 2025 19:07 17s mondokz:monolithic-l2s
mondokz:monolithic-l2s
February 14, 2025 19:07 17s
Merge pull request #336 from ftsrg/ecbs macOS build and test #1881: Commit 795398b pushed by mondokm
February 13, 2025 19:06 19m 9s master
master
February 13, 2025 19:06 19m 9s
Added monolthic l2s conversion macOS build and test #1880: Pull request #337 synchronize by mondokz
February 13, 2025 17:23 17m 3s mondokz:monolithic-l2s
mondokz:monolithic-l2s
February 13, 2025 17:23 17m 3s
Added monolthic l2s conversion macOS build and test #1879: Pull request #337 opened by mondokz
February 13, 2025 17:19 4m 12s mondokz:monolithic-l2s
mondokz:monolithic-l2s
February 13, 2025 17:19 4m 12s
ECBS modifications macOS build and test #1878: Pull request #336 synchronize by leventeBajczi
February 13, 2025 12:23 29m 56s ecbs
ecbs
February 13, 2025 12:23 29m 56s
Added cfa->xcfa via xcfa-cli --input-type CFA macOS build and test #1877: Commit 5228494 pushed by leventeBajczi
February 13, 2025 12:23 22m 52s ecbs
ecbs
February 13, 2025 12:23 22m 52s
ECBS modifications macOS build and test #1876: Pull request #336 synchronize by mondokm
February 13, 2025 10:14 23m 38s ecbs
ecbs
February 13, 2025 10:14 23m 38s
Fix formatting macOS build and test #1875: Commit 73dc8af pushed by mondokm
February 13, 2025 10:14 20m 11s ecbs
ecbs
February 13, 2025 10:14 20m 11s
ECBS modifications macOS build and test #1874: Pull request #336 synchronize by mondokm
February 13, 2025 09:39 18m 7s ecbs
ecbs
February 13, 2025 09:39 18m 7s
Fix formatting and bump version macOS build and test #1873: Commit 570cb79 pushed by mondokm
February 13, 2025 09:39 21m 12s ecbs
ecbs
February 13, 2025 09:39 21m 12s
ECBS modifications macOS build and test #1872: Pull request #336 opened by mondokm
February 13, 2025 09:35 4m 37s ecbs
ecbs
February 13, 2025 09:35 4m 37s
Allow full-name usage of enum literals in XSTS. macOS build and test #1871: Commit d0e64be pushed by mondokm
February 13, 2025 09:25 14m 29s ecbs
ecbs
February 13, 2025 09:25 14m 29s
Add result logging to BoundedChecker macOS build and test #1870: Commit e10540d pushed by mondokm
February 13, 2025 09:05 19m 26s ecbs
ecbs
February 13, 2025 09:05 19m 26s
Merge pull request #311 from RipplB/ltl2 macOS build and test #1869: Commit b513261 pushed by mondokm
February 13, 2025 08:58 7m 10s ecbs
ecbs
February 13, 2025 08:58 7m 10s
Optimize IMC with Dedicated Solvers for Reachability and Fixed-Point macOS build and test #1868: Pull request #335 synchronize by KlevisImeri
January 29, 2025 22:44 Action required KlevisImeri:imc-split-solvers
KlevisImeri:imc-split-solvers
January 29, 2025 22:44 Action required
Optimize IMC with Dedicated Solvers for Reachability and Fixed-Point macOS build and test #1867: Pull request #335 synchronize by KlevisImeri
January 28, 2025 00:45 19m 52s KlevisImeri:imc-split-solvers
KlevisImeri:imc-split-solvers
January 28, 2025 00:45 19m 52s
Optimize IMC with Dedicated Solvers for Reachability and Fixed-Point macOS build and test #1866: Pull request #335 opened by KlevisImeri
January 27, 2025 23:48 Action required KlevisImeri:imc-split-solvers
KlevisImeri:imc-split-solvers
January 27, 2025 23:48 Action required
fixed coverage vs equality issue in bad end remover macOS build and test #1865: Commit d7db9d4 pushed by AdamZsofi
January 26, 2025 20:08 16m 30s trace-generation
trace-generation
January 26, 2025 20:08 16m 30s
Merge pull request #311 from RipplB/ltl2 macOS build and test #1864: Commit b513261 pushed by mondokm
January 23, 2025 21:15 19m 27s master
master
January 23, 2025 21:15 19m 27s
reformat macOS build and test #1863: Commit ce57c6d pushed by AdamZsofi
January 23, 2025 19:00 19m 3s trace-generation
trace-generation
January 23, 2025 19:00 19m 3s
LTL checking macOS build and test #1862: Pull request #311 synchronize by RipplB
January 23, 2025 16:18 19m 33s RipplB:ltl2
RipplB:ltl2
January 23, 2025 16:18 19m 33s