Skip to content

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

Actions

Deploy Website to Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-website.yaml
104 workflow runs
104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Processing Cloud and Parallel track results. Deploy Website to Pages #104: Commit a71d958 pushed by mbromber
September 12, 2024 15:05 8m 34s master
master
September 12, 2024 15:05 8m 34s
Feedback on the model validation Deploy Website to Pages #103: Commit 279d242 pushed by bobot
August 11, 2024 08:27 1m 57s master
master
August 11, 2024 08:27 1m 57s
[Tests] Factorize scoring tests Deploy Website to Pages #102: Commit 5c1a383 pushed by bobot
August 9, 2024 13:56 2m 18s master
master
August 9, 2024 13:56 2m 18s
Generate new input certificates Deploy Website to Pages #101: Commit 0b669c0 pushed by bobot
August 9, 2024 09:01 1m 53s master
master
August 9, 2024 09:01 1m 53s
Remove sequential performance from the incremental track results. (#127) Deploy Website to Pages #100: Commit dab65d4 pushed by martinjonas
August 8, 2024 07:03 2m 5s master
master
August 8, 2024 07:03 2m 5s
Fix unsat core results (#125) Deploy Website to Pages #99: Commit b433fcb pushed by martinjonas
July 30, 2024 15:07 8m 28s master
master
July 30, 2024 15:07 8m 28s
Publish results (#124) Deploy Website to Pages #98: Commit dd9d55b pushed by martinjonas
July 22, 2024 13:14 1m 57s master
master
July 22, 2024 13:14 1m 57s
Sort divisions in summary to simplify diffing Deploy Website to Pages #97: Commit 27ae0ec pushed by bobot
July 19, 2024 10:59 6m 3s master
master
July 19, 2024 10:59 6m 3s
Fix model validation suffix for pretty printing. (#123) Deploy Website to Pages #96: Commit 5ced09b pushed by martinjonas
July 19, 2024 08:56 1m 51s master
master
July 19, 2024 08:56 1m 51s
Fix double generation of result divisions. (#122) Deploy Website to Pages #95: Commit 53ec522 pushed by martinjonas
July 19, 2024 08:38 2m 4s master
master
July 19, 2024 08:38 2m 4s
Fix website data generation (#121) Deploy Website to Pages #94: Commit ff4cf24 pushed by martinjonas
July 19, 2024 08:21 2m 13s master
master
July 19, 2024 08:21 2m 13s
Model Validation results page Deploy Website to Pages #93: Commit 64fc9b0 pushed by bobot
July 18, 2024 13:43 1m 54s master
master
July 18, 2024 13:43 1m 54s
Update _index.md Acknowledgment (#117) Deploy Website to Pages #92: Commit cf12926 pushed by mbromber
July 18, 2024 07:48 1m 48s master
master
July 18, 2024 07:48 1m 48s
Result pages on website (#115) Deploy Website to Pages #91: Commit 46d524b pushed by martinjonas
July 17, 2024 15:05 1m 50s master
master
July 17, 2024 15:05 1m 50s
Keep only the first 20 for largest contribution Deploy Website to Pages #90: Commit 5ebc7ad pushed by bobot
July 16, 2024 20:08 5m 55s master
master
July 16, 2024 20:08 5m 55s
Certificate data generator integrated into the smtcomp tool. (#114) Deploy Website to Pages #89: Commit d3e6f8f pushed by mbromber
July 16, 2024 17:11 1m 51s master
master
July 16, 2024 17:11 1m 51s
Add model validation track results Deploy Website to Pages #88: Commit 59d6d4c pushed by bobot
July 16, 2024 13:11 6m 18s master
master
July 16, 2024 13:11 6m 18s
Bump certifi from 2024.2.2 to 2024.7.4 Deploy Website to Pages #87: Commit 796f2de pushed by bobot
July 11, 2024 17:52 4m 2s master
master
July 11, 2024 17:52 4m 2s
Generate results-single-query.md page Deploy Website to Pages #86: Commit 6d646a9 pushed by bobot
July 11, 2024 17:38 1m 27s master
master
July 11, 2024 17:38 1m 27s
Create web/content/results directory Deploy Website to Pages #85: Commit 175bcd5 pushed by bobot
July 10, 2024 07:56 5m 30s master
master
July 10, 2024 07:56 5m 30s
Fix formatting of participants table. (#110) Deploy Website to Pages #84: Commit cb99ed2 pushed by martinjonas
July 9, 2024 14:54 1m 26s master
master
July 9, 2024 14:54 1m 26s
Add parallel track to the participants table. (#109) Deploy Website to Pages #83: Commit 6211883 pushed by martinjonas
July 9, 2024 14:25 1m 21s master
master
July 9, 2024 14:25 1m 21s
Sort participants table (#108) Deploy Website to Pages #82: Commit 798d61e pushed by martinjonas
July 9, 2024 14:19 1m 28s master
master
July 9, 2024 14:19 1m 28s
Debug CI for participant list generation (#107) Deploy Website to Pages #81: Commit 1652966 pushed by martinjonas
July 9, 2024 14:07 1m 27s master
master
July 9, 2024 14:07 1m 27s
Deploy Website to Pages Deploy Website to Pages #80: Manually run by martinjonas
July 9, 2024 14:02 1m 8s debug_ci_participant_list
debug_ci_participant_list
July 9, 2024 14:02 1m 8s