Skip to content

Actions: ftsrg/theta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9,627 workflow runs
9,627 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #662: by github-pages bot
February 23, 2025 21:37 2m 59s gh-pages
gh-pages
February 23, 2025 21:37 2m 59s
Nontermination witnesses macOS build and test #1930: Pull request #338 synchronize by AdamZsofi
February 23, 2025 21:07 23m 25s nontermination-witnesses
nontermination-witnesses
February 23, 2025 21:07 23m 25s
Nontermination witnesses Linux build-test-deploy #1983: Pull request #338 synchronize by AdamZsofi
February 23, 2025 21:07 31m 4s nontermination-witnesses
nontermination-witnesses
February 23, 2025 21:07 31m 4s
Nontermination witnesses Check version #937: Pull request #338 synchronize by AdamZsofi
February 23, 2025 21:07 2m 48s nontermination-witnesses
nontermination-witnesses
February 23, 2025 21:07 2m 48s
Nontermination witnesses Windows build and test #1930: Pull request #338 synchronize by AdamZsofi
February 23, 2025 21:07 24m 12s nontermination-witnesses
nontermination-witnesses
February 23, 2025 21:07 24m 12s
Nontermination witnesses Check copyright #1986: Pull request #338 synchronize by AdamZsofi
February 23, 2025 21:07 29s nontermination-witnesses
nontermination-witnesses
February 23, 2025 21:07 29s
Nontermination witnesses Check formatting #1930: Pull request #338 synchronize by AdamZsofi
February 23, 2025 21:07 1m 56s nontermination-witnesses
nontermination-witnesses
February 23, 2025 21:07 1m 56s
Nontermination witnesses Sonar analysis #2010: Pull request #338 synchronize by AdamZsofi
February 23, 2025 21:07 14m 32s
February 23, 2025 21:07 14m 32s
xcfa to nonterm lasso based on witness works Check formatting #1929: Commit a1f1f28 pushed by AdamZsofi
February 23, 2025 21:07 1m 54s nontermination-witnesses
nontermination-witnesses
February 23, 2025 21:07 1m 54s
xcfa to nonterm lasso based on witness works Windows build and test #1929: Commit a1f1f28 pushed by AdamZsofi
February 23, 2025 21:07 24m 34s nontermination-witnesses
nontermination-witnesses
February 23, 2025 21:07 24m 34s
xcfa to nonterm lasso based on witness works Linux build-test-deploy #1982: Commit a1f1f28 pushed by AdamZsofi
February 23, 2025 21:07 31m 53s nontermination-witnesses
nontermination-witnesses
February 23, 2025 21:07 31m 53s
xcfa to nonterm lasso based on witness works Sonar analysis #2009: Commit a1f1f28 pushed by AdamZsofi
February 23, 2025 21:07 15m 31s nontermination-witnesses
nontermination-witnesses
February 23, 2025 21:07 15m 31s
xcfa to nonterm lasso based on witness works Check copyright #1985: Commit a1f1f28 pushed by AdamZsofi
February 23, 2025 21:07 31s nontermination-witnesses
nontermination-witnesses
February 23, 2025 21:07 31s
xcfa to nonterm lasso based on witness works macOS build and test #1929: Commit a1f1f28 pushed by AdamZsofi
February 23, 2025 21:07 20m 46s nontermination-witnesses
nontermination-witnesses
February 23, 2025 21:07 20m 46s
pages build and deployment pages-build-deployment #661: by github-pages bot
February 23, 2025 19:58 3m 14s gh-pages
gh-pages
February 23, 2025 19:58 3m 14s
Nontermination witnesses macOS build and test #1928: Pull request #338 synchronize by AdamZsofi
February 23, 2025 19:28 21m 50s nontermination-witnesses
nontermination-witnesses
February 23, 2025 19:28 21m 50s
Nontermination witnesses Check version #936: Pull request #338 synchronize by AdamZsofi
February 23, 2025 19:28 2m 51s nontermination-witnesses
nontermination-witnesses
February 23, 2025 19:28 2m 51s
Nontermination witnesses Windows build and test #1928: Pull request #338 synchronize by AdamZsofi
February 23, 2025 19:28 24m 5s nontermination-witnesses
nontermination-witnesses
February 23, 2025 19:28 24m 5s
Nontermination witnesses Linux build-test-deploy #1981: Pull request #338 synchronize by AdamZsofi
February 23, 2025 19:28 30m 27s nontermination-witnesses
nontermination-witnesses
February 23, 2025 19:28 30m 27s
Nontermination witnesses Check copyright #1984: Pull request #338 synchronize by AdamZsofi
February 23, 2025 19:28 30s nontermination-witnesses
nontermination-witnesses
February 23, 2025 19:28 30s
Nontermination witnesses Check formatting #1928: Pull request #338 synchronize by AdamZsofi
February 23, 2025 19:28 1m 49s nontermination-witnesses
nontermination-witnesses
February 23, 2025 19:28 1m 49s
apply witness edge filtering partially works Check formatting #1927: Commit f944598 pushed by AdamZsofi
February 23, 2025 19:28 2m 0s nontermination-witnesses
nontermination-witnesses
February 23, 2025 19:28 2m 0s
Nontermination witnesses Sonar analysis #2008: Pull request #338 synchronize by AdamZsofi
February 23, 2025 19:28 16m 21s
February 23, 2025 19:28 16m 21s
apply witness edge filtering partially works Windows build and test #1927: Commit f944598 pushed by AdamZsofi
February 23, 2025 19:28 24m 3s nontermination-witnesses
nontermination-witnesses
February 23, 2025 19:28 24m 3s
apply witness edge filtering partially works macOS build and test #1927: Commit f944598 pushed by AdamZsofi
February 23, 2025 19:28 21m 29s nontermination-witnesses
nontermination-witnesses
February 23, 2025 19:28 21m 29s