Skip to content

Actions: ftsrg/theta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10,055 workflow runs
10,055 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Meta solver Check copyright #2168: Pull request #352 synchronize by BallagErgely
April 9, 2025 11:21 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 9, 2025 11:21 Action required
Meta solver Linux build-test-deploy #2179: Pull request #352 synchronize by BallagErgely
April 9, 2025 11:21 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 9, 2025 11:21 Action required
Meta solver Check formatting #2112: Pull request #352 synchronize by BallagErgely
April 9, 2025 11:21 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 9, 2025 11:21 Action required
Meta solver Check version #1018: Pull request #352 synchronize by BallagErgely
April 9, 2025 11:21 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 9, 2025 11:21 Action required
Meta solver macOS build and test #2112: Pull request #352 synchronize by BallagErgely
April 9, 2025 11:21 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 9, 2025 11:21 Action required
Meta solver Windows build and test #2112: Pull request #352 synchronize by BallagErgely
April 9, 2025 11:21 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 9, 2025 11:21 Action required
Meta solver Sonar analysis #2213: Pull request #352 synchronize by BallagErgely
April 9, 2025 11:21 29s
April 9, 2025 11:21 29s
Btor2Xcfa Check version #1017: Pull request #348 synchronize by szaboeva2004
April 9, 2025 07:33 Action required szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
April 9, 2025 07:33 Action required
Btor2Xcfa Linux build-test-deploy #2178: Pull request #348 synchronize by szaboeva2004
April 9, 2025 07:33 Action required szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
April 9, 2025 07:33 Action required
Btor2Xcfa Check copyright #2167: Pull request #348 synchronize by szaboeva2004
April 9, 2025 07:33 Action required szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
April 9, 2025 07:33 Action required
Btor2Xcfa Check formatting #2111: Pull request #348 synchronize by szaboeva2004
April 9, 2025 07:33 Action required szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
April 9, 2025 07:33 Action required
Btor2Xcfa macOS build and test #2111: Pull request #348 synchronize by szaboeva2004
April 9, 2025 07:33 Action required szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
April 9, 2025 07:33 Action required
Btor2Xcfa Windows build and test #2111: Pull request #348 synchronize by szaboeva2004
April 9, 2025 07:33 Action required szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
April 9, 2025 07:33 Action required
Btor2Xcfa Sonar analysis #2212: Pull request #348 synchronize by szaboeva2004
April 9, 2025 07:33 25s
April 9, 2025 07:33 25s
Meta solver Windows build and test #2110: Pull request #352 synchronize by BallagErgely
April 8, 2025 07:10 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 8, 2025 07:10 Action required
Meta solver Check formatting #2110: Pull request #352 synchronize by BallagErgely
April 8, 2025 07:10 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 8, 2025 07:10 Action required
Meta solver macOS build and test #2110: Pull request #352 synchronize by BallagErgely
April 8, 2025 07:10 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 8, 2025 07:10 Action required
Meta solver Linux build-test-deploy #2177: Pull request #352 synchronize by BallagErgely
April 8, 2025 07:10 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 8, 2025 07:10 Action required
Meta solver Check version #1016: Pull request #352 synchronize by BallagErgely
April 8, 2025 07:10 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 8, 2025 07:10 Action required
Meta solver Check copyright #2166: Pull request #352 synchronize by BallagErgely
April 8, 2025 07:10 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 8, 2025 07:10 Action required
Meta solver Sonar analysis #2211: Pull request #352 synchronize by BallagErgely
April 8, 2025 07:10 24s
April 8, 2025 07:10 24s
Various fixes Check formatting #2109: Commit 190f54b pushed by leventeBajczi
April 7, 2025 21:41 1m 54s chc-interpolant
chc-interpolant
April 7, 2025 21:41 1m 54s
Various fixes Linux build-test-deploy #2176: Commit 190f54b pushed by leventeBajczi
April 7, 2025 21:41 6h 6m 9s chc-interpolant
chc-interpolant
April 7, 2025 21:41 6h 6m 9s
Various fixes macOS build and test #2109: Commit 190f54b pushed by leventeBajczi
April 7, 2025 21:41 18m 18s chc-interpolant
chc-interpolant
April 7, 2025 21:41 18m 18s
Various fixes Sonar analysis #2210: Commit 190f54b pushed by leventeBajczi
April 7, 2025 21:41 6h 0m 11s chc-interpolant
chc-interpolant
April 7, 2025 21:41 6h 0m 11s