Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow run results
80 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Draft: New submission framework Main #3: Pull request #35 synchronize by bobot
November 27, 2023 15:50 46s bobot:new_submission
bobot:new_submission
November 27, 2023 15:50 46s
Draft: New submission framework Main #2: Pull request #35 synchronize by bobot
November 27, 2023 15:47 1m 12s bobot:new_submission
bobot:new_submission
November 27, 2023 15:47 1m 12s
Draft: New submission framework Main #1: Pull request #35 synchronize by bobot
November 27, 2023 12:41 50s bobot:new_submission
bobot:new_submission
November 27, 2023 12:41 50s
Draft: New submission framework merge-to-master #1: Pull request #35 opened by bobot
November 27, 2023 10:11 52s bobot:new_submission
bobot:new_submission
November 27, 2023 10:11 52s
pages build and deployment pages-build-deployment #88: by bobot
October 6, 2023 16:49 2m 40s master
master
October 6, 2023 16:49 2m 40s