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

2024process cloud Main #445: Pull request #130 synchronize by mbromber
September 11, 2024 12:53 1m 33s 2024processCloud
2024processCloud
September 11, 2024 12:53 1m 33s
2024process cloud Main #444: Pull request #130 synchronize by mbromber
September 11, 2024 12:17 55s 2024processCloud
2024processCloud
September 11, 2024 12:17 55s
2024process cloud Main #443: Pull request #130 synchronize by mbromber
September 11, 2024 09:15 10m 18s 2024processCloud
2024processCloud
September 11, 2024 09:15 10m 18s
2024process cloud Main #442: Pull request #130 opened by mbromber
September 11, 2024 09:10 3m 13s 2024processCloud
2024processCloud
September 11, 2024 09:10 3m 13s
Bump cryptography from 42.0.7 to 43.0.1 Main #441: Pull request #129 opened by dependabot bot
September 4, 2024 00:24 10m 30s dependabot/pip/cryptography-43.0.1
dependabot/pip/cryptography-43.0.1
September 4, 2024 00:24 10m 30s
Model Validation feeback Main #440: Pull request #128 synchronize by bobot
August 11, 2024 08:17 1m 20s bobot:fix_largest_contribution
bobot:fix_largest_contribution
August 11, 2024 08:17 1m 20s
Model Validation feeback Main #439: Pull request #128 synchronize by bobot
August 9, 2024 14:04 3m 56s bobot:fix_largest_contribution
bobot:fix_largest_contribution
August 9, 2024 14:04 3m 56s
Model Validation feeback Main #438: Pull request #128 opened by bobot
August 9, 2024 14:01 3m 13s bobot:fix_largest_contribution
bobot:fix_largest_contribution
August 9, 2024 14:01 3m 13s
Fix for largest contribution and all Unsat Core Main #437: Pull request #126 synchronize by bobot
August 9, 2024 09:06 1m 30s bobot:fix_largest_contribution
bobot:fix_largest_contribution
August 9, 2024 09:06 1m 30s
Fix for largest contribution and all Unsat Core Main #436: Pull request #126 synchronize by bobot
August 8, 2024 12:45 1m 21s bobot:fix_largest_contribution
bobot:fix_largest_contribution
August 8, 2024 12:45 1m 21s
Remove sequential performance from the incremental track results. Main #435: Pull request #127 opened by martinjonas
August 8, 2024 06:56 4m 1s hide_incremental_sequential_score
hide_incremental_sequential_score
August 8, 2024 06:56 4m 1s
Fix for largest contribution and all Unsat Core Main #434: Pull request #126 synchronize by bobot
August 7, 2024 16:07 1m 21s bobot:fix_largest_contribution
bobot:fix_largest_contribution
August 7, 2024 16:07 1m 21s
Fix for largest contribution and all Unsat Core Main #433: Pull request #126 synchronize by bobot
August 6, 2024 17:14 1m 25s bobot:fix_largest_contribution
bobot:fix_largest_contribution
August 6, 2024 17:14 1m 25s
Fix for largest contribution and all Unsat Core Main #432: Pull request #126 opened by bobot
August 6, 2024 11:01 3m 46s bobot:fix_largest_contribution
bobot:fix_largest_contribution
August 6, 2024 11:01 3m 46s
Fix unsat core results Main #431: Pull request #125 synchronize by martinjonas
July 30, 2024 14:56 10m 11s fix_unsat_core_results
fix_unsat_core_results
July 30, 2024 14:56 10m 11s
Fix unsat core results Main #430: Pull request #125 opened by martinjonas
July 30, 2024 14:54 3m 10s fix_unsat_core_results
fix_unsat_core_results
July 30, 2024 14:54 3m 10s
Publish results Main #429: Pull request #124 opened by martinjonas
July 22, 2024 13:09 4m 0s publish_results
publish_results
July 22, 2024 13:09 4m 0s
2024certificates Main #428: Pull request #119 synchronize by bobot
July 19, 2024 11:46 1m 23s 2024certificates
2024certificates
July 19, 2024 11:46 1m 23s
Incremental and unsatcore results Main #427: Pull request #120 synchronize by bobot
July 19, 2024 10:56 1m 28s bobot:mv-page-generations
bobot:mv-page-generations
July 19, 2024 10:56 1m 28s
Incremental and unsatcore results Main #426: Pull request #120 synchronize by bobot
July 19, 2024 10:50 5m 34s bobot:mv-page-generations
bobot:mv-page-generations
July 19, 2024 10:50 5m 34s
Incremental and unsatcore results Main #425: Pull request #120 synchronize by bobot
July 19, 2024 10:13 1m 28s bobot:mv-page-generations
bobot:mv-page-generations
July 19, 2024 10:13 1m 28s
Incremental and unsatcore results Main #424: Pull request #120 synchronize by bobot
July 19, 2024 10:05 1m 26s bobot:mv-page-generations
bobot:mv-page-generations
July 19, 2024 10:05 1m 26s
Fix model validation suffix for pretty printing. Main #423: Pull request #123 opened by martinjonas
July 19, 2024 08:52 3m 47s fix_website_model_validation_suffix
fix_website_model_validation_suffix
July 19, 2024 08:52 3m 47s
Fix double generation of result divisions. Main #422: Pull request #122 opened by martinjonas
July 19, 2024 08:32 3m 41s fix_website_data_generation_duplicates
fix_website_data_generation_duplicates
July 19, 2024 08:32 3m 41s
Fix website data generation Main #421: Pull request #121 opened by martinjonas
July 19, 2024 08:17 3m 47s fix_website_data_generation_suffix
fix_website_data_generation_suffix
July 19, 2024 08:17 3m 47s