Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
860 workflow runs
860 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
NeuroSym Solver - NIT Warangal Main #795: Pull request #244 synchronize by VishalKumarSwain
1m 37s VishalKumarSwain:add-neurosym-submission
VishalKumarSwain:add-neurosym-submission
1m 37s
chore(deps): bump gitpython from 3.1.46 to 3.1.50 Main #794: Pull request #246 opened by dependabot Bot
1m 46s dependabot/pip/gitpython-3.1.50
dependabot/pip/gitpython-3.1.50
1m 46s
pip in /. for GitPython - Update #1357494209 Dependabot Updates #31: by dependabot Bot
1m 19s master
master
1m 19s
pip in /. for GitPython - Update #1355934806 Dependabot Updates #30: by dependabot Bot
1m 27s master
master
1m 27s
chore(deps): bump gitpython from 3.1.46 to 3.1.49 Main #793: Pull request #245 opened by dependabot Bot
1m 33s dependabot/pip/gitpython-3.1.49
dependabot/pip/gitpython-3.1.49
1m 33s
pip in /. for GitPython - Update #1355421681 Dependabot Updates #29: by dependabot Bot
1m 24s master
master
1m 24s
NeuroSym Solver - NIT Warangal Main #792: Pull request #244 synchronize by VishalKumarSwain
1m 8s VishalKumarSwain:add-neurosym-submission
VishalKumarSwain:add-neurosym-submission
1m 8s
NeuroSym Solver - NIT Warangal Main #791: Pull request #244 synchronize by VishalKumarSwain
1m 27s VishalKumarSwain:add-neurosym-submission
VishalKumarSwain:add-neurosym-submission
1m 27s
NeuroSym Solver - NIT Warangal Main #790: Pull request #244 opened by VishalKumarSwain
1m 13s VishalKumarSwain:add-neurosym-submission
VishalKumarSwain:add-neurosym-submission
1m 13s
pip in /. for GitPython - Update #1337370776 Dependabot Updates #28: by dependabot Bot
1m 29s master
master
1m 29s
chore(deps): bump gitpython from 3.1.46 to 3.1.47 Main #789: Pull request #243 opened by dependabot Bot
1m 25s dependabot/pip/gitpython-3.1.47
dependabot/pip/gitpython-3.1.47
1m 25s
pip in /. for GitPython - Update #1337346151 Dependabot Updates #27: by dependabot Bot
1m 31s master
master
1m 31s
Apply prettier. Deploy Website to Pages #190: Commit bccc938 pushed by martinjonas
1m 33s master
master
1m 33s
Add link to the Zulip channel to the website Main #788: Pull request #242 synchronize by martinjonas
1m 20s web_add_zulip
web_add_zulip
1m 20s
Add link to the Zulip channel to the website Main #787: Pull request #242 opened by martinjonas
1m 7s web_add_zulip
web_add_zulip
1m 7s
chore(deps-dev): bump pytest from 7.4.4 to 9.0.3 Main #786: Pull request #241 opened by dependabot Bot
1m 32s dependabot/pip/pytest-9.0.3
dependabot/pip/pytest-9.0.3
1m 32s
pip in /. for pytest - Update #1321336008 Dependabot Updates #26: by dependabot Bot
1m 29s master
master
1m 29s
Apply prettier. Deploy Website to Pages #189: Commit 8bf1bfd pushed by martinjonas
1m 22s master
master
1m 22s
Add news about preliminary calls Main #785: Pull request #240 synchronize by martinjonas
1m 15s 2026_preliminary_call_news
2026_preliminary_call_news
1m 15s
Add news about preliminary calls Main #784: Pull request #240 opened by martinjonas
1m 15s 2026_preliminary_call_news
2026_preliminary_call_news
1m 15s
Add 2026 rules. Deploy Website to Pages #188: Commit dc14b87 pushed by martinjonas
1m 52s master
master
1m 52s
Add 2026 rules Main #783: Pull request #239 opened by martinjonas
1m 29s 2026_rules
2026_rules
1m 29s
chore(deps): bump cryptography from 46.0.5 to 46.0.7 Main #782: Pull request #238 opened by dependabot Bot
2m 12s dependabot/pip/cryptography-46.0.7
dependabot/pip/cryptography-46.0.7
2m 12s
pip in /. for cryptography - Update #1314234403 Dependabot Updates #25: by dependabot Bot
1m 27s master
master
1m 27s
chore(deps): bump pygments from 2.19.2 to 2.20.0 Main #781: Pull request #237 opened by dependabot Bot
1m 30s dependabot/pip/pygments-2.20.0
dependabot/pip/pygments-2.20.0
1m 30s