Skip to content

Actions: ftsrg/theta

Actions

Linux build-test-deploy

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linux-build-test-deploy.yml
1,413 workflow runs
1,413 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Linux build-test-deploy Linux build-test-deploy #1939: Manually run by leventeBajczi
February 16, 2025 17:20 30m 33s master
master
February 16, 2025 17:20 30m 33s
Added monolthic l2s conversion (#337) Linux build-test-deploy #1938: Commit 4ea4856 pushed by leventeBajczi
February 16, 2025 17:19 34m 54s master
master
February 16, 2025 17:19 34m 54s
Added monolthic l2s conversion Linux build-test-deploy #1937: Pull request #337 synchronize by leventeBajczi
February 16, 2025 17:19 32m 22s mondokz:monolithic-l2s
mondokz:monolithic-l2s
February 16, 2025 17:19 32m 22s
Added monolthic l2s conversion Linux build-test-deploy #1936: Pull request #337 synchronize by leventeBajczi
February 16, 2025 17:17 1m 48s mondokz:monolithic-l2s
mondokz:monolithic-l2s
February 16, 2025 17:17 1m 48s
Added monolthic l2s conversion Linux build-test-deploy #1935: Pull request #337 synchronize by mondokz
February 14, 2025 19:07 31m 13s mondokz:monolithic-l2s
mondokz:monolithic-l2s
February 14, 2025 19:07 31m 13s
Added monolthic l2s conversion Linux build-test-deploy #1934: Pull request #337 synchronize by mondokz
February 14, 2025 19:07 22s mondokz:monolithic-l2s
mondokz:monolithic-l2s
February 14, 2025 19:07 22s
Linux build-test-deploy Linux build-test-deploy #1933: Manually run by mondokm
February 13, 2025 19:52 29m 56s master
master
February 13, 2025 19:52 29m 56s
Merge pull request #336 from ftsrg/ecbs Linux build-test-deploy #1932: Commit 795398b pushed by mondokm
February 13, 2025 19:06 33m 35s master
master
February 13, 2025 19:06 33m 35s
Added monolthic l2s conversion Linux build-test-deploy #1931: Pull request #337 synchronize by mondokz
February 13, 2025 17:23 31m 45s mondokz:monolithic-l2s
mondokz:monolithic-l2s
February 13, 2025 17:23 31m 45s
Added monolthic l2s conversion Linux build-test-deploy #1930: Pull request #337 opened by mondokz
February 13, 2025 17:19 4m 23s mondokz:monolithic-l2s
mondokz:monolithic-l2s
February 13, 2025 17:19 4m 23s
ECBS modifications Linux build-test-deploy #1929: Pull request #336 synchronize by leventeBajczi
February 13, 2025 12:23 32m 4s ecbs
ecbs
February 13, 2025 12:23 32m 4s
Added cfa->xcfa via xcfa-cli --input-type CFA Linux build-test-deploy #1928: Commit 5228494 pushed by leventeBajczi
February 13, 2025 12:23 34m 55s ecbs
ecbs
February 13, 2025 12:23 34m 55s
ECBS modifications Linux build-test-deploy #1927: Pull request #336 synchronize by mondokm
February 13, 2025 10:14 33m 41s ecbs
ecbs
February 13, 2025 10:14 33m 41s
Fix formatting Linux build-test-deploy #1926: Commit 73dc8af pushed by mondokm
February 13, 2025 10:14 33m 9s ecbs
ecbs
February 13, 2025 10:14 33m 9s
ECBS modifications Linux build-test-deploy #1925: Pull request #336 synchronize by mondokm
February 13, 2025 09:39 31m 40s ecbs
ecbs
February 13, 2025 09:39 31m 40s
Fix formatting and bump version Linux build-test-deploy #1924: Commit 570cb79 pushed by mondokm
February 13, 2025 09:39 31m 30s ecbs
ecbs
February 13, 2025 09:39 31m 30s
ECBS modifications Linux build-test-deploy #1923: Pull request #336 opened by mondokm
February 13, 2025 09:35 4m 43s ecbs
ecbs
February 13, 2025 09:35 4m 43s
Allow full-name usage of enum literals in XSTS. Linux build-test-deploy #1922: Commit d0e64be pushed by mondokm
February 13, 2025 09:25 14m 42s ecbs
ecbs
February 13, 2025 09:25 14m 42s
Add result logging to BoundedChecker Linux build-test-deploy #1921: Commit e10540d pushed by mondokm
February 13, 2025 09:05 19m 49s ecbs
ecbs
February 13, 2025 09:05 19m 49s
Merge pull request #311 from RipplB/ltl2 Linux build-test-deploy #1920: Commit b513261 pushed by mondokm
February 13, 2025 08:58 7m 21s ecbs
ecbs
February 13, 2025 08:58 7m 21s
Optimize IMC with Dedicated Solvers for Reachability and Fixed-Point Linux build-test-deploy #1919: 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 Linux build-test-deploy #1918: Pull request #335 synchronize by KlevisImeri
January 28, 2025 00:45 32m 57s KlevisImeri:imc-split-solvers
KlevisImeri:imc-split-solvers
January 28, 2025 00:45 32m 57s
Optimize IMC with Dedicated Solvers for Reachability and Fixed-Point Linux build-test-deploy #1917: 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 Linux build-test-deploy #1916: Commit d7db9d4 pushed by AdamZsofi
January 26, 2025 20:08 31m 43s trace-generation
trace-generation
January 26, 2025 20:08 31m 43s
Linux build-test-deploy Linux build-test-deploy #1915: Manually run by mondokm
January 23, 2025 21:16 31m 54s master
master
January 23, 2025 21:16 31m 54s