Skip to content

Actions: SMT-COMP/smt-comp.github.io

Actions

TestSolver

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-solver.yml
166 workflow runs
166 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Submission Colibri TestSolver #16: Pull request #51 synchronize by bobot
May 28, 2024 11:32 2m 28s bobot:submission/colibri
bobot:submission/colibri
May 28, 2024 11:32 2m 28s
Submission Colibri TestSolver #15: Pull request #51 synchronize by bobot
May 28, 2024 11:26 2m 34s bobot:submission/colibri
bobot:submission/colibri
May 28, 2024 11:26 2m 34s
Submission Colibri TestSolver #14: Pull request #51 synchronize by bobot
May 28, 2024 11:24 2m 36s bobot:submission/colibri
bobot:submission/colibri
May 28, 2024 11:24 2m 36s
Submission Colibri TestSolver #13: Pull request #51 synchronize by bobot
May 28, 2024 10:54 2m 22s bobot:submission/colibri
bobot:submission/colibri
May 28, 2024 10:54 2m 22s
Submission Colibri TestSolver #12: Pull request #51 by bobot
May 28, 2024 10:51 Failure bobot:submission/colibri
bobot:submission/colibri
May 28, 2024 10:51 Failure
Submission Colibri TestSolver #11: Pull request #51 synchronize by bobot
May 28, 2024 10:44 2m 52s bobot:submission/colibri
bobot:submission/colibri
May 28, 2024 10:44 2m 52s
Submission Colibri TestSolver #10: Pull request #51 synchronize by bobot
May 28, 2024 08:33 2m 47s bobot:submission/colibri
bobot:submission/colibri
May 28, 2024 08:33 2m 47s
Submission Colibri TestSolver #9: Pull request #51 synchronize by bobot
May 28, 2024 08:26 2m 35s bobot:submission/colibri
bobot:submission/colibri
May 28, 2024 08:26 2m 35s
Submission Colibri TestSolver #8: Pull request #51 synchronize by bobot
May 28, 2024 08:11 3m 3s bobot:submission/colibri
bobot:submission/colibri
May 28, 2024 08:11 3m 3s
Submission Colibri TestSolver #7: Pull request #51 synchronize by bobot
May 28, 2024 08:03 2m 26s bobot:submission/colibri
bobot:submission/colibri
May 28, 2024 08:03 2m 26s
[CI] Download, unpack solver and test solver on dumb test file TestSolver #6: Pull request #58 synchronize by bobot
May 27, 2024 10:07 1m 52s bobot:ci-test-solver
bobot:ci-test-solver
May 27, 2024 10:07 1m 52s
[CI] Download, unpack solver and test solver on dumb test file TestSolver #5: Pull request #58 synchronize by bobot
May 27, 2024 09:54 1m 59s bobot:ci-test-solver
bobot:ci-test-solver
May 27, 2024 09:54 1m 59s
[CI] Download, unpack solver and test solver on dumb test file TestSolver #4: Pull request #58 synchronize by bobot
May 27, 2024 06:02 2m 46s bobot:ci-test-solver
bobot:ci-test-solver
May 27, 2024 06:02 2m 46s
[CI] Download, unpack solver and test solver on dumb test file TestSolver #3: Pull request #58 synchronize by bobot
May 27, 2024 05:46 1m 53s bobot:ci-test-solver
bobot:ci-test-solver
May 27, 2024 05:46 1m 53s
[CI] Download, unpack solver and test solver on dumb test file TestSolver #2: Pull request #58 synchronize by bobot
May 27, 2024 05:40 41s bobot:ci-test-solver
bobot:ci-test-solver
May 27, 2024 05:40 41s
[CI] Download, unpack solver and test solver on dumb test file TestSolver #1: Pull request #58 opened by bobot
May 27, 2024 05:28 55s bobot:ci-test-solver
bobot:ci-test-solver
May 27, 2024 05:28 55s