Skip to content

Actions: ftsrg/theta

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,384 workflow run results
1,384 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added CVC5 libraries, fixed some bugs Windows build and test #726: Commit 4337a71 pushed by leventeBajczi
March 18, 2024 21:55 13m 9s javasmt
javasmt
March 18, 2024 21:55 13m 9s
Added CVC5 libraries, fixed some bugs macOS build and test #726: Commit 4337a71 pushed by leventeBajczi
March 18, 2024 21:55 16m 25s javasmt
javasmt
March 18, 2024 21:55 16m 25s
Added multi formalism to create product of arbitrary number of formal… Sonar analysis #732: Pull request #251 synchronize by RipplB
March 18, 2024 16:38 9m 1s
March 18, 2024 16:38 9m 1s
Added multi formalism to create product of arbitrary number of formal… Sonar analysis #731: Pull request #251 synchronize by RipplB
March 14, 2024 20:06 9m 47s
March 14, 2024 20:06 9m 47s
First tests completed about clock predicate abstraction Linux build #809: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 1d 7h 1m 36s xta-eager
xta-eager
March 14, 2024 06:57 1d 7h 1m 36s
First tests completed about clock predicate abstraction Build dockerfiles #1560: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 2m 3s xta-eager
xta-eager
March 14, 2024 06:57 2m 3s
First tests completed about clock predicate abstraction Deploy Javadoc #471: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 3m 15s xta-eager
xta-eager
March 14, 2024 06:57 3m 15s
First tests completed about clock predicate abstraction Windows build #809: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 6h 0m 17s xta-eager
xta-eager
March 14, 2024 06:57 6h 0m 17s
First tests completed about clock predicate abstraction .github/workflows/CI-test.yml #73: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 Failure xta-eager
xta-eager
March 14, 2024 06:57 Failure
First tests completed about clock predicate abstraction .github/workflows/CD-publish.yml #87: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 Failure xta-eager
xta-eager
March 14, 2024 06:57 Failure
First tests completed about clock predicate abstraction .github/workflows/CI-sonar.yml #146: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 Failure xta-eager
xta-eager
March 14, 2024 06:57 Failure
First tests completed about clock predicate abstraction .github/workflows/CI.yml #166: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 Failure xta-eager
xta-eager
March 14, 2024 06:57 Failure
First tests completed about clock predicate abstraction .github/workflows/CD-build.yml #65: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 Failure xta-eager
xta-eager
March 14, 2024 06:57 Failure
First tests completed about clock predicate abstraction .github/workflows/CI-build.yml #73: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 Failure xta-eager
xta-eager
March 14, 2024 06:57 Failure
First tests completed about clock predicate abstraction .github/workflows/TR-push.yml #255: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 Failure xta-eager
xta-eager
March 14, 2024 06:57 Failure
First tests completed about clock predicate abstraction .github/workflows/TR-release.yml #89: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 Failure xta-eager
xta-eager
March 14, 2024 06:57 Failure
First tests completed about clock predicate abstraction .github/workflows/TR-master.yml #109: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 Failure xta-eager
xta-eager
March 14, 2024 06:57 Failure
First tests completed about clock predicate abstraction .github/workflows/TR-pr.yml #106: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 Failure xta-eager
xta-eager
March 14, 2024 06:57 Failure
First tests completed about clock predicate abstraction .github/workflows/release.yml #322: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 Failure xta-eager
xta-eager
March 14, 2024 06:57 Failure
First tests completed about clock predicate abstraction .github/workflows/CI-static.yml #170: Commit fd1a5cd pushed by kopero2000
March 14, 2024 06:57 Failure xta-eager
xta-eager
March 14, 2024 06:57 Failure
Added multi formalism to create product of arbitrary number of formal… Sonar analysis #730: Pull request #251 synchronize by RipplB
March 13, 2024 15:14 9m 16s
March 13, 2024 15:14 9m 16s
Added multi formalism to create product of arbitrary number of formal… Sonar analysis #729: Pull request #251 synchronize by RipplB
March 13, 2024 12:20 9m 9s
March 13, 2024 12:20 9m 9s
Added multi formalism to create product of arbitrary number of formal… Sonar analysis #728: Pull request #251 synchronize by RipplB
March 13, 2024 11:06 9m 20s
March 13, 2024 11:06 9m 20s
Added multi formalism to create product of arbitrary number of formal… Sonar analysis #727: Pull request #251 synchronize by RipplB
March 12, 2024 21:26 8m 45s
March 12, 2024 21:26 8m 45s
Throwing error on let Check formatting #725: Commit 6a817dc pushed by leventeBajczi
March 12, 2024 16:01 1m 21s chc-parse-fix
chc-parse-fix
March 12, 2024 16:01 1m 21s