Skip to content

Actions: kth-step/HolBA

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
709 workflow runs
709 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add another experiment that was working well with the latest stable z… CI Build #1112: Commit 5c770c2 pushed by andreaslindner
August 8, 2024 14:09 49m 19s riscv-symbexec
riscv-symbexec
August 8, 2024 14:09 49m 19s
Keep the best version CI Build #1111: Commit 3a40312 pushed by andreaslindner
August 7, 2024 22:04 37m 49s riscv-symbexec
riscv-symbexec
August 7, 2024 22:04 37m 49s
Small tweaks CI Build #1110: Commit 434608c pushed by andreaslindner
August 6, 2024 22:15 38m 5s riscv-symbexec
riscv-symbexec
August 6, 2024 22:15 38m 5s
Update measurements CI Build #1109: Commit 2db3a8a pushed by andreaslindner
August 6, 2024 17:57 37m 55s riscv-symbexec
riscv-symbexec
August 6, 2024 17:57 37m 55s
Merge branch 'master' into riscv-symbexec CI Build #1108: Commit 8b2f1d8 pushed by palmskog
August 5, 2024 15:17 38m 18s riscv-symbexec
riscv-symbexec
August 5, 2024 15:17 38m 18s
include all small examples in examples/riscv Holmakefile CI Build #1107: Commit 7407cf9 pushed by palmskog
August 5, 2024 15:15 46m 50s master
master
August 5, 2024 15:15 46m 50s
Change source of randomness CI Build #1106: Commit fb360fd pushed by andreaslindner
August 5, 2024 12:41 37m 42s riscv-symbexec
riscv-symbexec
August 5, 2024 12:41 37m 42s
Fix dependencies CI Build #1105: Commit ccceaf5 pushed by andreaslindner
August 5, 2024 08:07 37m 57s riscv-symbexec
riscv-symbexec
August 5, 2024 08:07 37m 57s
CI Build CI Build #1104: Scheduled
August 4, 2024 03:15 45m 50s master
master
August 4, 2024 03:15 45m 50s
Add reference measurement CI Build #1103: Commit a105721 pushed by andreaslindner
August 1, 2024 13:43 31m 30s riscv-symbexec
riscv-symbexec
August 1, 2024 13:43 31m 30s
Fix numbers CI Build #1102: Commit 4ec00ed pushed by andreaslindner
July 31, 2024 13:56 37m 53s riscv-symbexec
riscv-symbexec
July 31, 2024 13:56 37m 53s
Add references in README CI Build #1101: Commit 2b6c3ab pushed by andreaslindner
July 31, 2024 13:55 38m 0s riscv-symbexec
riscv-symbexec
July 31, 2024 13:55 38m 0s
Add references in README CI Build #1100: Commit 2b6c3ab pushed by andreaslindner
July 31, 2024 13:54 37m 39s riscv-symbexec-andreas
riscv-symbexec-andreas
July 31, 2024 13:54 37m 39s
Fixes CI Build #1099: Commit 25bc08a pushed by andreaslindner
July 31, 2024 13:46 38m 52s riscv-symbexec
riscv-symbexec
July 31, 2024 13:46 38m 52s
Fixes CI Build #1098: Commit 25bc08a pushed by andreaslindner
July 31, 2024 13:45 37m 25s riscv-symbexec-andreas
riscv-symbexec-andreas
July 31, 2024 13:45 37m 25s
Fix CI Build #1097: Commit 78b4d52 pushed by andreaslindner
July 31, 2024 12:58 37m 20s riscv-symbexec
riscv-symbexec
July 31, 2024 12:58 37m 20s
Fix CI Build #1096: Commit 78b4d52 pushed by andreaslindner
July 31, 2024 12:58 37m 51s riscv-symbexec-andreas
riscv-symbexec-andreas
July 31, 2024 12:58 37m 51s
Add latest benchmark results CI Build #1095: Commit 920274c pushed by andreaslindner
July 31, 2024 12:38 37m 30s riscv-symbexec
riscv-symbexec
July 31, 2024 12:38 37m 30s
Add latest benchmark results CI Build #1094: Commit 920274c pushed by andreaslindner
July 31, 2024 12:38 38m 2s riscv-symbexec-andreas
riscv-symbexec-andreas
July 31, 2024 12:38 38m 2s
Update benchmark CI Build #1093: Commit ebe84e4 pushed by andreaslindner
July 31, 2024 11:18 37m 28s riscv-symbexec
riscv-symbexec
July 31, 2024 11:18 37m 28s
Update benchmark CI Build #1092: Commit ebe84e4 pushed by andreaslindner
July 31, 2024 11:18 37m 31s riscv-symbexec-andreas
riscv-symbexec-andreas
July 31, 2024 11:18 37m 31s
Fix CI Build #1091: Commit d85ab1e pushed by andreaslindner
July 30, 2024 22:07 37m 31s riscv-symbexec
riscv-symbexec
July 30, 2024 22:07 37m 31s
Fix CI Build #1090: Commit d85ab1e pushed by andreaslindner
July 30, 2024 22:07 36m 59s riscv-symbexec-andreas
riscv-symbexec-andreas
July 30, 2024 22:07 36m 59s
Experiments with abbreviations and evaluations CI Build #1089: Commit 28473ac pushed by andreaslindner
July 30, 2024 21:53 36m 42s riscv-symbexec
riscv-symbexec
July 30, 2024 21:53 36m 42s
Experiments with abbreviations and evaluations CI Build #1088: Commit 28473ac pushed by andreaslindner
July 30, 2024 21:53 32m 17s riscv-symbexec-andreas
riscv-symbexec-andreas
July 30, 2024 21:53 32m 17s