Skip to content

Actions: KeYProject/key

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Performance Series 2 (1/5): Faster cost computation by skipping an unnecessary proof-history walk Tests #4937: Pull request #3874 synchronize by unp1
In progress bubel/cost-leaf-perf
bubel/cost-leaf-perf
In progress
Performance Series 2 (1/5): Faster cost computation by skipping an unnecessary proof-history walk CodeQuality #5018: Pull request #3874 synchronize by unp1
2m 27s bubel/cost-leaf-perf
bubel/cost-leaf-perf
2m 27s
Multithreading for KeY Tests #4936: Pull request #3842 synchronize by unp1
40m 53s bubel/mt-goals
bubel/mt-goals
40m 53s
Multithreading for KeY CodeQuality #5017: Pull request #3842 synchronize by unp1
2m 30s bubel/mt-goals
bubel/mt-goals
2m 30s
Multithreading for KeY Tests #4935: Pull request #3842 synchronize by unp1
41m 30s bubel/mt-goals
bubel/mt-goals
41m 30s
Multithreading for KeY CodeQuality #5016: Pull request #3842 synchronize by unp1
2m 26s bubel/mt-goals
bubel/mt-goals
2m 26s
Multithreading for KeY CodeQuality #5015: Pull request #3842 synchronize by unp1
2m 31s bubel/mt-goals
bubel/mt-goals
2m 31s
Multithreading for KeY Tests #4934: Pull request #3842 synchronize by unp1
43m 3s bubel/mt-goals
bubel/mt-goals
43m 3s
Multithreading for KeY Tests #4933: Pull request #3842 synchronize by unp1
41m 59s bubel/mt-goals
bubel/mt-goals
41m 59s
Multithreading for KeY CodeQuality #5014: Pull request #3842 synchronize by unp1
2m 25s bubel/mt-goals
bubel/mt-goals
2m 25s
Optional Tests Optional Tests #188: Scheduled
5h 8m 34s main
main
5h 8m 34s
Multithreading for KeY Tests #4932: Pull request #3842 synchronize by unp1
41m 33s bubel/mt-goals
bubel/mt-goals
41m 33s
Multithreading for KeY CodeQuality #5013: Pull request #3842 synchronize by unp1
2m 29s bubel/mt-goals
bubel/mt-goals
2m 29s
Multithreading for KeY Tests #4931: Pull request #3842 synchronize by unp1
42m 17s bubel/mt-goals
bubel/mt-goals
42m 17s
Multithreading for KeY CodeQuality #5012: Pull request #3842 synchronize by unp1
2m 17s bubel/mt-goals
bubel/mt-goals
2m 17s
Performance Series 2: Overview CodeQuality #5011: Pull request #3879 synchronize by unp1
2m 27s bubel/perf-preview
bubel/perf-preview
2m 27s
Performance Series 2: Overview Tests #4930: Pull request #3879 synchronize by unp1
40m 35s bubel/perf-preview
bubel/perf-preview
40m 35s
Performance Series 2 (4/5): Lower memory for the per-goal rule-application queue CodeQuality #5010: Pull request #3877 synchronize by unp1
2m 28s bubel/branching-memory
bubel/branching-memory
2m 28s
Performance Series 2 (4/5): Lower memory for the per-goal rule-application queue Tests #4929: Pull request #3877 synchronize by unp1
40m 16s bubel/branching-memory
bubel/branching-memory
40m 16s
Performance Series 2 (3/5): Incremental taclet re-indexing for a single added taclet CodeQuality #5009: Pull request #3876 synchronize by unp1
3m 4s bubel/reindex-fastpath
bubel/reindex-fastpath
3m 4s
Performance Series 2 (3/5): Incremental taclet re-indexing for a single added taclet Tests #4928: Pull request #3876 synchronize by unp1
41m 42s bubel/reindex-fastpath
bubel/reindex-fastpath
41m 42s
Performance Series 2 (5/5): Faster quantifier-instantiation heuristic, plus code cleanup CodeQuality #5008: Pull request #3878 synchronize by unp1
2m 27s bubel/quantheur-cleanup
bubel/quantheur-cleanup
2m 27s
Performance Series 2 (5/5): Faster quantifier-instantiation heuristic, plus code cleanup Tests #4927: Pull request #3878 synchronize by unp1
40m 52s bubel/quantheur-cleanup
bubel/quantheur-cleanup
40m 52s
Performance Series 2 (1/5): Faster cost computation by skipping an unnecessary proof-history walk CodeQuality #5007: Pull request #3874 synchronize by unp1
2m 21s bubel/cost-leaf-perf
bubel/cost-leaf-perf
2m 21s
Performance Series 2 (1/5): Faster cost computation by skipping an unnecessary proof-history walk Tests #4926: Pull request #3874 synchronize by unp1
40m 21s bubel/cost-leaf-perf
bubel/cost-leaf-perf
40m 21s