Skip to content

Actions: LoAT-developers/LoAT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
347 workflow runs
347 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
Run Benchmarks Run Benchmarks #598: Manually run by ffrohn
10m 12s master
master
10m 12s
Nightly build Nightly build #72: Scheduled
9m 17s master
master
9m 17s
Nightly build Nightly build #71: Scheduled
9m 35s master
master
9m 35s
Run Benchmarks Run Benchmarks #597: Manually run by ffrohn
11m 28s master
master
11m 28s
Run Benchmarks Run Benchmarks #596: Manually run by ffrohn
11m 32s master
master
11m 32s
Run Benchmarks Run Benchmarks #595: Manually run by ffrohn
12m 21s master
master
12m 21s
Run Benchmarks Run Benchmarks #594: Manually run by ffrohn
9m 35s master
master
9m 35s
Run Benchmarks Run Benchmarks #593: Manually run by ffrohn
12m 34s master
master
12m 34s
Run Benchmarks Run Benchmarks #592: Manually run by ffrohn
11m 42s master
master
11m 42s
Run Benchmarks Run Benchmarks #591: Manually run by ffrohn
12m 19s master
master
12m 19s
Run Benchmarks Run Benchmarks #590: Manually run by ffrohn
12m 38s master
master
12m 38s
Run Benchmarks Run Benchmarks #589: Manually run by ffrohn
12m 1s master
master
12m 1s
Run Benchmarks Run Benchmarks #588: Manually run by ffrohn
11m 46s chc-comp-2026
chc-comp-2026
11m 46s
Run Benchmarks Run Benchmarks #587: Manually run by ffrohn
13m 59s chc-comp-2026
chc-comp-2026
13m 59s
Run Benchmarks Run Benchmarks #586: Manually run by ffrohn
13m 40s chc-comp-2026
chc-comp-2026
13m 40s
Run Benchmarks Run Benchmarks #585: Manually run by ffrohn
10m 21s chc-comp-2026
chc-comp-2026
10m 21s
Run Benchmarks Run Benchmarks #584: Manually run by ffrohn
10m 25s chc-comp-2026
chc-comp-2026
10m 25s
Nightly build Nightly build #70: Scheduled
7m 51s master
master
7m 51s
Run Benchmarks Run Benchmarks #583: Manually run by ffrohn
10m 21s chc-comp-2026
chc-comp-2026
10m 21s
Run Benchmarks Run Benchmarks #582: Manually run by ffrohn
10m 39s chc-comp-2026
chc-comp-2026
10m 39s
Run Benchmarks Run Benchmarks #581: Manually run by ffrohn
12m 43s chc-comp-2026
chc-comp-2026
12m 43s
Run Benchmarks Run Benchmarks #580: Manually run by ffrohn
13m 7s chc-comp-2026
chc-comp-2026
13m 7s
Run Benchmarks Run Benchmarks #579: Manually run by ffrohn
10s abstraction_refinement2
abstraction_refinement2
10s
Run Benchmarks Run Benchmarks #578: Manually run by ffrohn
15m 35s chc-comp-2026
chc-comp-2026
15m 35s
Run Benchmarks Run Benchmarks #577: Manually run by ffrohn
11m 59s chc-comp-2026
chc-comp-2026
11m 59s