Skip to content

Actions: ftsrg/theta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11,121 workflow runs
11,121 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

re-added tracegen as a separate test method macOS build and test #1856: Commit aeeb0b2 pushed by szdan97
December 4, 2024 21:29 14m 59s xta-to-xcfa-experiment
xta-to-xcfa-experiment
December 4, 2024 21:29 14m 59s
re-added tracegen as a separate test method Windows build and test #1856: Commit aeeb0b2 pushed by szdan97
December 4, 2024 21:29 12m 32s xta-to-xcfa-experiment
xta-to-xcfa-experiment
December 4, 2024 21:29 12m 32s
LTL checking Linux build-test-deploy #1905: Pull request #311 synchronize by RipplB
December 4, 2024 13:17 34m 14s RipplB:ltl2
RipplB:ltl2
December 4, 2024 13:17 34m 14s
LTL checking Check copyright #1911: Pull request #311 synchronize by RipplB
December 4, 2024 13:17 32s RipplB:ltl2
RipplB:ltl2
December 4, 2024 13:17 32s
LTL checking Windows build and test #1855: Pull request #311 synchronize by RipplB
December 4, 2024 13:17 18m 31s RipplB:ltl2
RipplB:ltl2
December 4, 2024 13:17 18m 31s
LTL checking macOS build and test #1855: Pull request #311 synchronize by RipplB
December 4, 2024 13:17 20m 15s RipplB:ltl2
RipplB:ltl2
December 4, 2024 13:17 20m 15s
LTL checking Check version #897: Pull request #311 synchronize by RipplB
December 4, 2024 13:17 3m 23s RipplB:ltl2
RipplB:ltl2
December 4, 2024 13:17 3m 23s
LTL checking Check formatting #1855: Pull request #311 synchronize by RipplB
December 4, 2024 13:17 2m 34s RipplB:ltl2
RipplB:ltl2
December 4, 2024 13:17 2m 34s
LTL checking Sonar analysis #1932: Pull request #311 synchronize by RipplB
December 4, 2024 13:17 14m 1s
December 4, 2024 13:17 14m 1s
LTL checking Check formatting #1854: Pull request #311 synchronize by RipplB
December 4, 2024 12:44 2m 13s RipplB:ltl2
RipplB:ltl2
December 4, 2024 12:44 2m 13s
LTL checking Check copyright #1910: Pull request #311 synchronize by RipplB
December 4, 2024 12:44 29s RipplB:ltl2
RipplB:ltl2
December 4, 2024 12:44 29s
LTL checking macOS build and test #1854: Pull request #311 synchronize by RipplB
December 4, 2024 12:44 22m 51s RipplB:ltl2
RipplB:ltl2
December 4, 2024 12:44 22m 51s
LTL checking Windows build and test #1854: Pull request #311 synchronize by RipplB
December 4, 2024 12:44 17m 17s RipplB:ltl2
RipplB:ltl2
December 4, 2024 12:44 17m 17s
LTL checking Check version #896: Pull request #311 synchronize by RipplB
December 4, 2024 12:44 3m 10s RipplB:ltl2
RipplB:ltl2
December 4, 2024 12:44 3m 10s
LTL checking Linux build-test-deploy #1904: Pull request #311 synchronize by RipplB
December 4, 2024 12:44 32m 0s RipplB:ltl2
RipplB:ltl2
December 4, 2024 12:44 32m 0s
LTL checking Sonar analysis #1931: Pull request #311 synchronize by RipplB
December 4, 2024 12:44 13m 50s
December 4, 2024 12:44 13m 50s
LTL checking Windows build and test #1853: Pull request #311 synchronize by RipplB
December 4, 2024 10:44 11m 32s RipplB:ltl2
RipplB:ltl2
December 4, 2024 10:44 11m 32s
LTL checking Linux build-test-deploy #1903: Pull request #311 synchronize by RipplB
December 4, 2024 10:44 30m 46s RipplB:ltl2
RipplB:ltl2
December 4, 2024 10:44 30m 46s
LTL checking Check version #895: Pull request #311 synchronize by RipplB
December 4, 2024 10:44 3m 8s RipplB:ltl2
RipplB:ltl2
December 4, 2024 10:44 3m 8s
LTL checking macOS build and test #1853: Pull request #311 synchronize by RipplB
December 4, 2024 10:44 10m 26s RipplB:ltl2
RipplB:ltl2
December 4, 2024 10:44 10m 26s
LTL checking Check formatting #1853: Pull request #311 synchronize by RipplB
December 4, 2024 10:44 2m 11s RipplB:ltl2
RipplB:ltl2
December 4, 2024 10:44 2m 11s
LTL checking Check copyright #1909: Pull request #311 synchronize by RipplB
December 4, 2024 10:44 28s RipplB:ltl2
RipplB:ltl2
December 4, 2024 10:44 28s
LTL checking Sonar analysis #1930: Pull request #311 synchronize by RipplB
December 4, 2024 10:44 2m 55s
December 4, 2024 10:44 2m 55s
LTL checking macOS build and test #1852: Pull request #311 synchronize by RipplB
December 4, 2024 08:58 20m 46s RipplB:ltl2
RipplB:ltl2
December 4, 2024 08:58 20m 46s
LTL checking Check version #894: Pull request #311 synchronize by RipplB
December 4, 2024 08:58 3m 22s RipplB:ltl2
RipplB:ltl2
December 4, 2024 08:58 3m 22s