Skip to content

Actions: ftsrg/theta

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
apply witness edge filtering partially works Linux build-test-deploy #1980: Commit f944598 pushed by AdamZsofi
February 23, 2025 19:28 30m 19s nontermination-witnesses
nontermination-witnesses
February 23, 2025 19:28 30m 19s
apply witness edge filtering partially works Check copyright #1983: Commit f944598 pushed by AdamZsofi
February 23, 2025 19:28 33s nontermination-witnesses
nontermination-witnesses
February 23, 2025 19:28 33s
apply witness edge filtering partially works Sonar analysis #2007: Commit f944598 pushed by AdamZsofi
February 23, 2025 19:28 17m 4s nontermination-witnesses
nontermination-witnesses
February 23, 2025 19:28 17m 4s
pages build and deployment pages-build-deployment #660: by github-pages bot
February 23, 2025 15:21 3m 10s gh-pages
gh-pages
February 23, 2025 15:21 3m 10s
Fix horn solving for termination Sonar analysis #2006: Pull request #342 labeled by leventeBajczi
February 23, 2025 14:50 6m 39s
February 23, 2025 14:50 6m 39s
Fix horn solving for termination Check version #935: Pull request #342 opened by leventeBajczi
February 23, 2025 14:50 2m 55s nontermination-chc
nontermination-chc
February 23, 2025 14:50 2m 55s
Fix horn solving for termination Check copyright #1982: Pull request #342 opened by leventeBajczi
February 23, 2025 14:50 30s nontermination-chc
nontermination-chc
February 23, 2025 14:50 30s
Fix horn solving for termination Linux build-test-deploy #1979: Pull request #342 opened by leventeBajczi
February 23, 2025 14:50 30m 56s nontermination-chc
nontermination-chc
February 23, 2025 14:50 30m 56s
Fix horn solving for termination Check formatting #1926: Pull request #342 opened by leventeBajczi
February 23, 2025 14:50 1m 49s nontermination-chc
nontermination-chc
February 23, 2025 14:50 1m 49s
Fix horn solving for termination Windows build and test #1926: Pull request #342 opened by leventeBajczi
February 23, 2025 14:50 14m 9s nontermination-chc
nontermination-chc
February 23, 2025 14:50 14m 9s
Fix horn solving for termination macOS build and test #1926: Pull request #342 opened by leventeBajczi
February 23, 2025 14:50 11m 19s nontermination-chc
nontermination-chc
February 23, 2025 14:50 11m 19s