Skip to content

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

Actions

Main

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
408 workflow runs
408 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CI] Download, unpack solver and test solver on dumb test file Main #93: Pull request #58 synchronize by bobot
May 27, 2024 10:50 47s bobot:ci-test-solver
bobot:ci-test-solver
May 27, 2024 10:50 47s
[CI] Download, unpack solver and test solver on dumb test file Main #92: Pull request #58 synchronize by bobot
May 27, 2024 10:07 1m 0s bobot:ci-test-solver
bobot:ci-test-solver
May 27, 2024 10:07 1m 0s
[CI] Download, unpack solver and test solver on dumb test file Main #91: Pull request #58 synchronize by bobot
May 27, 2024 09:54 54s bobot:ci-test-solver
bobot:ci-test-solver
May 27, 2024 09:54 54s
[CI] Download, unpack solver and test solver on dumb test file Main #90: Pull request #58 synchronize by bobot
May 27, 2024 06:02 50s bobot:ci-test-solver
bobot:ci-test-solver
May 27, 2024 06:02 50s
[CI] Download, unpack solver and test solver on dumb test file Main #89: Pull request #58 synchronize by bobot
May 27, 2024 05:46 49s bobot:ci-test-solver
bobot:ci-test-solver
May 27, 2024 05:46 49s
[CI] Download, unpack solver and test solver on dumb test file Main #88: Pull request #58 synchronize by bobot
May 27, 2024 05:40 1m 2s bobot:ci-test-solver
bobot:ci-test-solver
May 27, 2024 05:40 1m 2s
[CI] Download, unpack solver and test solver on dumb test file Main #87: Pull request #58 opened by bobot
May 27, 2024 05:28 1m 2s bobot:ci-test-solver
bobot:ci-test-solver
May 27, 2024 05:28 1m 2s
Info about command in schema Main #86: Pull request #56 synchronize by bobot
May 27, 2024 04:33 52s bobot:fill-schema-info
bobot:fill-schema-info
May 27, 2024 04:33 52s
Info about command in schema Main #85: Pull request #56 synchronize by bobot
May 27, 2024 02:34 50s bobot:fill-schema-info
bobot:fill-schema-info
May 27, 2024 02:34 50s
Info about command in schema Main #84: Pull request #56 synchronize by bobot
May 27, 2024 02:28 44s bobot:fill-schema-info
bobot:fill-schema-info
May 27, 2024 02:28 44s
Info about command in schema Main #83: Pull request #56 synchronize by bobot
May 27, 2024 02:17 54s bobot:fill-schema-info
bobot:fill-schema-info
May 27, 2024 02:17 54s
Info about command in schema Main #80: Pull request #56 synchronize by bobot
May 26, 2024 18:32 1m 2s bobot:fill-schema-info
bobot:fill-schema-info
May 26, 2024 18:32 1m 2s
Info about command in schema Main #79: Pull request #56 opened by bobot
May 26, 2024 18:31 1m 1s bobot:fill-schema-info
bobot:fill-schema-info
May 26, 2024 18:31 1m 1s
Submission for smtinterpol Main #78: Pull request #45 synchronize by jhoenicke
May 26, 2024 09:54 58s jhoenicke-smtinterpol
jhoenicke-smtinterpol
May 26, 2024 09:54 58s
Submission for smtinterpol Main #70: Pull request #45 synchronize by jhoenicke
May 22, 2024 00:54 1m 3s jhoenicke-smtinterpol
jhoenicke-smtinterpol
May 22, 2024 00:54 1m 3s
Submission for smtinterpol Main #69: Pull request #45 synchronize by jhoenicke
May 22, 2024 00:51 1m 6s jhoenicke-smtinterpol
jhoenicke-smtinterpol
May 22, 2024 00:51 1m 6s
Adding Algaroba to SMTCOMP 2024 Main #68: Pull request #42 synchronize by bobot
May 21, 2024 13:38 28m 58s amarshah1:master
amarshah1:master
May 21, 2024 13:38 28m 58s
Submission Colibri Main #67: Pull request #51 opened by bobot
May 21, 2024 13:22 16m 21s bobot:submission/colibri
bobot:submission/colibri
May 21, 2024 13:22 16m 21s
COLIBRI submission Main #66: Pull request #44 synchronize by bobot
May 21, 2024 13:11 28m 26s submission/colibri
submission/colibri
May 21, 2024 13:11 28m 26s
[CI] checkout fork in specific directory Main #65: Pull request #50 synchronize by bobot
May 21, 2024 13:09 17m 27s add_auto_comment
add_auto_comment
May 21, 2024 13:09 17m 27s
[CI] checkout fork in specific directory Main #64: Pull request #50 synchronize by bobot
May 21, 2024 13:04 28m 8s add_auto_comment
add_auto_comment
May 21, 2024 13:04 28m 8s
[CI] checkout fork in specific directory Main #63: Pull request #50 opened by bobot
May 21, 2024 13:03 16m 46s add_auto_comment
add_auto_comment
May 21, 2024 13:03 16m 46s
COLIBRI submission Main #62: Pull request #44 synchronize by bobot
May 21, 2024 12:45 21m 36s submission/colibri
submission/colibri
May 21, 2024 12:45 21m 36s
Add auto comment Main #61: Pull request #49 synchronize by bobot
May 21, 2024 12:30 18m 8s add_auto_comment
add_auto_comment
May 21, 2024 12:30 18m 8s
Add auto comment Main #60: Pull request #49 synchronize by bobot
May 21, 2024 12:19 20m 55s add_auto_comment
add_auto_comment
May 21, 2024 12:19 20m 55s
ProTip! You can narrow down the results and go further in time using created:<2024-05-21 or the other filters available.