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

model also added Sonar analysis #1916: Commit 9796038 pushed by szdan97
November 28, 2024 14:26 5m 24s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 28, 2024 14:26 5m 24s
model also added Check copyright #1896: Commit 9796038 pushed by szdan97
November 28, 2024 14:26 31s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 28, 2024 14:26 31s
model also added Check formatting #1840: Commit 9796038 pushed by szdan97
November 28, 2024 14:26 1m 55s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 28, 2024 14:26 1m 55s
model also added Windows build and test #1840: Commit 9796038 pushed by szdan97
November 28, 2024 14:26 12m 35s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 28, 2024 14:26 12m 35s
model also added macOS build and test #1840: Commit 9796038 pushed by szdan97
November 28, 2024 14:26 13m 32s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 28, 2024 14:26 13m 32s
model also added Linux build-test-deploy #1890: Commit 9796038 pushed by szdan97
November 28, 2024 14:26 31m 27s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 28, 2024 14:26 31m 27s
draft for rewriting a non-timed xta to xcfa Sonar analysis #1915: Commit 4120e8c pushed by szdan97
November 28, 2024 14:21 4m 51s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 28, 2024 14:21 4m 51s
draft for rewriting a non-timed xta to xcfa Linux build-test-deploy #1889: Commit 4120e8c pushed by szdan97
November 28, 2024 14:21 4m 55s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 28, 2024 14:21 4m 55s
draft for rewriting a non-timed xta to xcfa Windows build and test #1839: Commit 4120e8c pushed by szdan97
November 28, 2024 14:21 4m 54s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 28, 2024 14:21 4m 54s
draft for rewriting a non-timed xta to xcfa Check formatting #1839: Commit 4120e8c pushed by szdan97
November 28, 2024 14:21 1m 50s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 28, 2024 14:21 1m 50s
draft for rewriting a non-timed xta to xcfa macOS build and test #1839: Commit 4120e8c pushed by szdan97
November 28, 2024 14:21 4m 49s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 28, 2024 14:21 4m 49s
draft for rewriting a non-timed xta to xcfa Check copyright #1895: Commit 4120e8c pushed by szdan97
November 28, 2024 14:21 30s xta-to-xcfa-experiment
xta-to-xcfa-experiment
November 28, 2024 14:21 30s
LTL checking Check formatting #1838: Pull request #311 synchronize by RipplB
November 27, 2024 16:06 2m 22s RipplB:ltl2
RipplB:ltl2
November 27, 2024 16:06 2m 22s
LTL checking macOS build and test #1838: Pull request #311 synchronize by RipplB
November 27, 2024 16:06 13m 51s RipplB:ltl2
RipplB:ltl2
November 27, 2024 16:06 13m 51s
LTL checking Linux build-test-deploy #1888: Pull request #311 synchronize by RipplB
November 27, 2024 16:06 30m 53s RipplB:ltl2
RipplB:ltl2
November 27, 2024 16:06 30m 53s
LTL checking Check version #891: Pull request #311 synchronize by RipplB
November 27, 2024 16:06 3m 7s RipplB:ltl2
RipplB:ltl2
November 27, 2024 16:06 3m 7s
LTL checking Windows build and test #1838: Pull request #311 synchronize by RipplB
November 27, 2024 16:06 13m 6s RipplB:ltl2
RipplB:ltl2
November 27, 2024 16:06 13m 6s
LTL checking Check copyright #1894: Pull request #311 synchronize by RipplB
November 27, 2024 16:06 35s RipplB:ltl2
RipplB:ltl2
November 27, 2024 16:06 35s
LTL checking Sonar analysis #1914: Pull request #311 synchronize by RipplB
November 27, 2024 16:06 4m 17s
November 27, 2024 16:06 4m 17s
LTL checking Sonar analysis #1913: Pull request #311 synchronize by RipplB
November 27, 2024 15:01 4m 11s
November 27, 2024 15:01 4m 11s
LTL checking Sonar analysis #1912: Pull request #311 synchronize by RipplB
November 27, 2024 14:02 4m 3s
November 27, 2024 14:02 4m 3s
pages build and deployment pages-build-deployment #625: by github-pages bot
November 27, 2024 10:17 2m 52s gh-pages
gh-pages
November 27, 2024 10:17 2m 52s
pages build and deployment pages-build-deployment #624: by github-pages bot
November 27, 2024 10:15 2m 27s gh-pages
gh-pages
November 27, 2024 10:15 2m 27s
pages build and deployment pages-build-deployment #623: by github-pages bot
November 27, 2024 10:04 2m 41s gh-pages
gh-pages
November 27, 2024 10:04 2m 41s
pages build and deployment pages-build-deployment #622: by github-pages bot
November 27, 2024 10:04 43s gh-pages
gh-pages
November 27, 2024 10:04 43s