Skip to content

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

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
979 workflow runs
979 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Submission] Add final (default false) to check archive in zenodo Main #480: Pull request #150 synchronize by bobot
April 23, 2025 15:45 3m 50s bobot:check_zenodo_for_final
bobot:check_zenodo_for_final
April 23, 2025 15:45 3m 50s
[Submission] Add final (default false) to check archive in zenodo Main #479: Pull request #150 synchronize by bobot
April 23, 2025 09:38 1m 2s bobot:check_zenodo_for_final
bobot:check_zenodo_for_final
April 23, 2025 09:38 1m 2s
Add remaining pages. (#151) Deploy Website to Pages #124: Commit 026f240 pushed by martinjonas
April 14, 2025 07:05 3m 55s master
master
April 14, 2025 07:05 3m 55s
Add remaining pages for 2025 webpage. Main #478: Pull request #151 opened by martinjonas
April 14, 2025 07:01 3m 36s website_2025_add_pages
website_2025_add_pages
April 14, 2025 07:01 3m 36s
[Submission] Add final (default false) to check archive in zenodo Main #477: Pull request #150 opened by bobot
April 13, 2025 15:20 3m 39s bobot:check_zenodo_for_final
bobot:check_zenodo_for_final
April 13, 2025 15:20 3m 39s
Bump cryptography from 43.0.1 to 44.0.1 Deploy Website to Pages #123: Commit 399e2e5 pushed by bobot
March 10, 2025 13:24 3m 28s master
master
March 10, 2025 13:24 3m 28s
[Dolmen] re-add dolmen build command Deploy Website to Pages #122: Commit ef004ed pushed by bobot
March 10, 2025 13:24 2m 0s master
master
March 10, 2025 13:24 2m 0s
Add news item for calls for comments/benchmarks/solvers. (#149) Deploy Website to Pages #121: Commit 734f939 pushed by martinjonas
February 25, 2025 09:24 2m 2s master
master
February 25, 2025 09:24 2m 2s
Add news item for calls for comments/benchmarks/solvers. Main #476: Pull request #149 synchronize by martinjonas
February 25, 2025 09:16 1m 39s news_calls
news_calls
February 25, 2025 09:16 1m 39s
Add news item for calls for comments/benchmarks/solvers. Main #475: Pull request #149 synchronize by martinjonas
February 25, 2025 08:50 1m 0s news_calls
news_calls
February 25, 2025 08:50 1m 0s
Add news item for calls for comments/benchmarks/solvers. Main #474: Pull request #149 opened by martinjonas
February 25, 2025 08:49 1m 4s news_calls
news_calls
February 25, 2025 08:49 1m 4s
Add rules. (#148) Deploy Website to Pages #120: Commit b5eb817 pushed by martinjonas
February 18, 2025 14:29 3m 47s master
master
February 18, 2025 14:29 3m 47s
Add 2025 rules. Main #473: Pull request #148 opened by martinjonas
February 18, 2025 14:24 3m 45s add_rules
add_rules
February 18, 2025 14:24 3m 45s
Bump cryptography from 43.0.1 to 44.0.1 Main #472: Pull request #147 opened by dependabot bot
February 11, 2025 19:15 3m 43s dependabot/pip/cryptography-44.0.1
dependabot/pip/cryptography-44.0.1
February 11, 2025 19:15 3m 43s
pip in /. for cryptography - Update #962651483 Dependabot Updates #3: by dependabot bot
February 11, 2025 19:14 1m 24s master
master
February 11, 2025 19:14 1m 24s
Small fixes Main #471: Pull request #146 synchronize by bobot
February 10, 2025 13:01 1m 21s bobot:small_fixes
bobot:small_fixes
February 10, 2025 13:01 1m 21s
Small fixes Main #470: Pull request #146 opened by bobot
February 10, 2025 12:59 3m 44s bobot:small_fixes
bobot:small_fixes
February 10, 2025 12:59 3m 44s
Forgotten file Deploy Website to Pages #119: Commit deef645 pushed by bobot
February 10, 2025 12:18 2m 2s master
master
February 10, 2025 12:18 2m 2s
Forgotten file Main #469: Pull request #145 opened by bobot
February 10, 2025 12:18 3m 47s bobot:submission-forgotten-file
bobot:submission-forgotten-file
February 10, 2025 12:18 3m 47s
[Call_for_comment] 2025 Main #468: Pull request #140 synchronize by bobot
February 5, 2025 13:57 1m 21s bobot:call_for_comment_2025
bobot:call_for_comment_2025
February 5, 2025 13:57 1m 21s
[Submission] Generate readme page using hugo directly Deploy Website to Pages #118: Commit ef82c79 pushed by bobot
February 4, 2025 13:53 1m 18s master
master
February 4, 2025 13:53 1m 18s
Point all redirects to 2025. (#144) Deploy Website to Pages #117: Commit c6eaa8c pushed by martinjonas
February 4, 2025 13:46 1m 35s master
master
February 4, 2025 13:46 1m 35s
Point all redirects to 2025. Main #467: Pull request #144 opened by martinjonas
February 4, 2025 13:38 3m 55s 2025_redirects
2025_redirects
February 4, 2025 13:38 3m 55s
Add SMT-COMP 2024 to previous editions. (#143) Deploy Website to Pages #116: Commit c03cf39 pushed by martinjonas
February 4, 2025 12:28 1m 35s master
master
February 4, 2025 12:28 1m 35s
Add SMT-COMP 2024 to previous editions. Main #466: Pull request #143 opened by martinjonas
February 4, 2025 12:24 3m 48s add_2024_previous_edition
add_2024_previous_edition
February 4, 2025 12:24 3m 48s