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

COLIBRI submission Main #34: Pull request #44 synchronize by bobot
May 14, 2024 08:38 1m 1s submission/colibri
submission/colibri
May 14, 2024 08:38 1m 1s
COLIBRI submission Main #33: Pull request #44 synchronize by bobot
May 14, 2024 08:37 42s submission/colibri
submission/colibri
May 14, 2024 08:37 42s
COLIBRI submission Main #32: Pull request #44 opened by bobot
May 14, 2024 08:35 55s submission/colibri
submission/colibri
May 14, 2024 08:35 55s
2024scrambling Main #31: Pull request #43 synchronize by mbromber
May 10, 2024 12:21 1m 18s 2024scrambling
2024scrambling
May 10, 2024 12:21 1m 18s
2024scrambling Main #30: Pull request #43 opened by mbromber
May 10, 2024 11:29 55s 2024scrambling
2024scrambling
May 10, 2024 11:29 55s
Adding Algaroba to SMTCOMP 2024 Main #29: Pull request #42 synchronize by amarshah1
May 8, 2024 22:26 1m 4s amarshah1:master
amarshah1:master
May 8, 2024 22:26 1m 4s
Benchmark selection Main #27: Pull request #41 synchronize by bobot
May 2, 2024 13:35 1m 11s bobot:benchmark_selection
bobot:benchmark_selection
May 2, 2024 13:35 1m 11s
Benchmark selection Main #26: Pull request #41 synchronize by bobot
May 2, 2024 13:32 1m 19s bobot:benchmark_selection
bobot:benchmark_selection
May 2, 2024 13:32 1m 19s
Benchmark selection Main #25: Pull request #41 synchronize by bobot
April 30, 2024 08:42 1m 6s bobot:benchmark_selection
bobot:benchmark_selection
April 30, 2024 08:42 1m 6s
Benchmark selection Main #24: Pull request #41 opened by bobot
April 30, 2024 08:41 1m 47s bobot:benchmark_selection
bobot:benchmark_selection
April 30, 2024 08:41 1m 47s
Bump dnspython from 2.5.0 to 2.6.1 Main #23: Pull request #40 opened by dependabot bot
April 12, 2024 22:19 55s dependabot/pip/dnspython-2.6.1
dependabot/pip/dnspython-2.6.1
April 12, 2024 22:19 55s
Bump idna from 3.6 to 3.7 Main #22: Pull request #39 opened by dependabot bot
April 12, 2024 04:44 1m 1s dependabot/pip/idna-3.7
dependabot/pip/idna-3.7
April 12, 2024 04:44 1m 1s
Bump tj-actions/changed-files from 40 to 41 in /.github/workflows Main #21: Pull request #38 opened by dependabot bot
February 16, 2024 21:47 59s dependabot/github_actions/dot-github/workflows/tj-actions/changed-files-41
dependabot/github_actions/dot-github/workflows/tj-actions/changed-files-41
February 16, 2024 21:47 59s
New submission Main #20: Pull request #36 synchronize by martinjonas
February 16, 2024 21:45 54s new_submission
new_submission
February 16, 2024 21:45 54s
New submission Main #19: Pull request #36 synchronize by bobot
February 16, 2024 17:31 59s new_submission
new_submission
February 16, 2024 17:31 59s
New submission Main #18: Pull request #36 synchronize by bobot
February 16, 2024 09:12 1m 1s new_submission
new_submission
February 16, 2024 09:12 1m 1s
New submission Main #17: Pull request #36 synchronize by bobot
February 16, 2024 09:12 1m 0s new_submission
new_submission
February 16, 2024 09:12 1m 0s
New submission Main #16: Pull request #36 synchronize by bobot
February 16, 2024 09:07 1m 2s new_submission
new_submission
February 16, 2024 09:07 1m 2s
New submission Main #15: Pull request #36 synchronize by bobot
February 16, 2024 08:48 1m 3s new_submission
new_submission
February 16, 2024 08:48 1m 3s
New submission Main #14: Pull request #36 synchronize by martinjonas
February 16, 2024 07:40 1m 9s new_submission
new_submission
February 16, 2024 07:40 1m 9s
New submission Main #13: Pull request #36 synchronize by martinjonas
February 16, 2024 07:35 1m 4s new_submission
new_submission
February 16, 2024 07:35 1m 4s
New submission Main #12: Pull request #36 synchronize by martinjonas
February 16, 2024 07:12 1m 7s new_submission
new_submission
February 16, 2024 07:12 1m 7s
New submission Main #11: Pull request #36 synchronize by martinjonas
February 16, 2024 07:02 1m 6s new_submission
new_submission
February 16, 2024 07:02 1m 6s
New submission Main #10: Pull request #36 synchronize by bobot
January 19, 2024 15:15 1m 11s new_submission
new_submission
January 19, 2024 15:15 1m 11s
New submission Main #9: Pull request #36 synchronize by bobot
December 5, 2023 22:19 46s new_submission
new_submission
December 5, 2023 22:19 46s
ProTip! You can narrow down the results and go further in time using created:<2023-12-05 or the other filters available.