Skip to content

Actions: ftsrg/theta

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Meta solver Linux build-test-deploy #2186: Pull request #352 synchronize by BallagErgely
April 16, 2025 08:53 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 16, 2025 08:53 Action required
Meta solver Windows build and test #2119: Pull request #352 synchronize by BallagErgely
April 16, 2025 08:53 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 16, 2025 08:53 Action required
Meta solver macOS build and test #2119: Pull request #352 synchronize by BallagErgely
April 16, 2025 08:53 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 16, 2025 08:53 Action required
Meta solver Check copyright #2175: Pull request #352 synchronize by BallagErgely
April 16, 2025 08:53 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 16, 2025 08:53 Action required
Meta solver Sonar analysis #2220: Pull request #352 synchronize by BallagErgely
April 16, 2025 08:53 23s
April 16, 2025 08:53 23s
Meta solver Check version #1025: Pull request #352 synchronize by BallagErgely
April 16, 2025 08:53 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 16, 2025 08:53 Action required
Meta solver Check formatting #2119: Pull request #352 synchronize by BallagErgely
April 16, 2025 08:53 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 16, 2025 08:53 Action required
Meta solver Check formatting #2118: Pull request #352 synchronize by BallagErgely
April 16, 2025 08:51 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 16, 2025 08:51 Action required
Meta solver Check copyright #2174: Pull request #352 synchronize by BallagErgely
April 16, 2025 08:51 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 16, 2025 08:51 Action required
Meta solver Linux build-test-deploy #2185: Pull request #352 synchronize by BallagErgely
April 16, 2025 08:51 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 16, 2025 08:51 Action required
Meta solver Check version #1024: Pull request #352 synchronize by BallagErgely
April 16, 2025 08:51 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 16, 2025 08:51 Action required
Meta solver macOS build and test #2118: Pull request #352 synchronize by BallagErgely
April 16, 2025 08:51 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 16, 2025 08:51 Action required
Meta solver Windows build and test #2118: Pull request #352 synchronize by BallagErgely
April 16, 2025 08:51 Action required BallagErgely:metasolver
BallagErgely:metasolver
April 16, 2025 08:51 Action required
Meta solver Sonar analysis #2219: Pull request #352 synchronize by BallagErgely
April 16, 2025 08:51 25s
April 16, 2025 08:51 25s
Btor2Xcfa Check formatting #2117: Pull request #348 synchronize by AdamZsofi
April 15, 2025 11:37 Action required szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
April 15, 2025 11:37 Action required
Btor2Xcfa Check copyright #2173: Pull request #348 synchronize by AdamZsofi
April 15, 2025 11:37 Action required szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
April 15, 2025 11:37 Action required
Btor2Xcfa macOS build and test #2117: Pull request #348 synchronize by AdamZsofi
April 15, 2025 11:37 Action required szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
April 15, 2025 11:37 Action required
Btor2Xcfa Linux build-test-deploy #2184: Pull request #348 synchronize by AdamZsofi
April 15, 2025 11:37 Action required szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
April 15, 2025 11:37 Action required
Btor2Xcfa Windows build and test #2117: Pull request #348 synchronize by AdamZsofi
April 15, 2025 11:37 Action required szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
April 15, 2025 11:37 Action required
Btor2Xcfa Check version #1023: Pull request #348 synchronize by AdamZsofi
April 15, 2025 11:37 Action required szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
April 15, 2025 11:37 Action required
Btor2Xcfa Sonar analysis #2218: Pull request #348 synchronize by AdamZsofi
April 15, 2025 11:37 25s
April 15, 2025 11:37 25s
Btor2Xcfa Linux build-test-deploy #2183: Pull request #348 synchronize by szaboeva2004
April 15, 2025 11:22 Action required szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
April 15, 2025 11:22 Action required
Btor2Xcfa macOS build and test #2116: Pull request #348 synchronize by szaboeva2004
April 15, 2025 11:22 Action required szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
April 15, 2025 11:22 Action required
Btor2Xcfa Check formatting #2116: Pull request #348 synchronize by szaboeva2004
April 15, 2025 11:22 Action required szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
April 15, 2025 11:22 Action required
Btor2Xcfa Check copyright #2172: Pull request #348 synchronize by szaboeva2004
April 15, 2025 11:22 Action required szaboeva2004:btor2xcfa
szaboeva2004:btor2xcfa
April 15, 2025 11:22 Action required