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 (5/5): Faster quantifier-instantiation heuristic, plus code cleanup Tests #5011: Pull request #3878 synchronize by unp1
38m 41s bubel/quantheur-cleanup
bubel/quantheur-cleanup
38m 41s
Performance Series 2 (5/5): Faster quantifier-instantiation heuristic, plus code cleanup CodeQuality #5092: Pull request #3878 synchronize by unp1
2m 25s bubel/quantheur-cleanup
bubel/quantheur-cleanup
2m 25s
Performance Series 2 (4/5): Lower memory for the per-goal rule-application queue Tests #5010: Pull request #3877 synchronize by unp1
39m 58s bubel/branching-memory
bubel/branching-memory
39m 58s
Performance Series 2 (4/5): Lower memory for the per-goal rule-application queue CodeQuality #5091: Pull request #3877 synchronize by unp1
2m 40s bubel/branching-memory
bubel/branching-memory
2m 40s
Performance Series 2 (4/5): Lower memory for the per-goal rule-application queue Tests #5009: Pull request #3877 synchronize by unp1
41m 1s bubel/branching-memory
bubel/branching-memory
41m 1s
Performance Series 2 (4/5): Lower memory for the per-goal rule-application queue CodeQuality #5090: Pull request #3877 synchronize by unp1
2m 30s bubel/branching-memory
bubel/branching-memory
2m 30s
Performance Series 2 (4/5): Lower memory for the per-goal rule-application queue CodeQuality #5089: Pull request #3877 synchronize by unp1
2m 5s bubel/branching-memory
bubel/branching-memory
2m 5s
Performance Series 2 (4/5): Lower memory for the per-goal rule-application queue Tests #5008: Pull request #3877 synchronize by unp1
40m 49s bubel/branching-memory
bubel/branching-memory
40m 49s
Feature: Version-based Configuration Paths Tests #5007: Pull request #3888 synchronize by wadoon
34m 1s weigl/configversion
weigl/configversion
34m 1s
Feature: Version-based Configuration Paths CodeQuality #5088: Pull request #3888 synchronize by wadoon
2m 19s weigl/configversion
weigl/configversion
2m 19s
Feature: Version-based Configuration Paths CodeQuality #5087: Pull request #3888 synchronize by wadoon
3m 38s weigl/configversion
weigl/configversion
3m 38s
Feature: Version-based Configuration Paths Tests #5006: Pull request #3888 synchronize by wadoon
43m 9s weigl/configversion
weigl/configversion
43m 9s
Feature: Version-based Configuration Paths CodeQuality #5086: Pull request #3888 synchronize by wadoon
2m 52s weigl/configversion
weigl/configversion
2m 52s
Feature: Version-based Configuration Paths Tests #5005: Pull request #3888 synchronize by wadoon
40m 48s weigl/configversion
weigl/configversion
40m 48s
Performance Series 2 (3/5): Incremental taclet re-indexing for a sing… CodeQuality #5085: Commit ec1708e pushed by github-merge-queue Bot
3m 2s main
main
3m 2s
Performance Series 2 (3/5): Incremental taclet re-indexing for a sing… Tests #5004: Commit ec1708e pushed by github-merge-queue Bot
40m 16s main
main
40m 16s
Feature: Version-based Configuration Paths Tests #5003: Pull request #3888 synchronize by wadoon
40m 57s weigl/configversion
weigl/configversion
40m 57s
Feature: Version-based Configuration Paths CodeQuality #5084: Pull request #3888 synchronize by wadoon
2m 33s weigl/configversion
weigl/configversion
2m 33s
Feature: Version-based Configuration Paths CodeQuality #5083: Pull request #3888 synchronize by wadoon
2m 23s weigl/configversion
weigl/configversion
2m 23s
Feature: Version-based Configuration Paths Tests #5002: Pull request #3888 synchronize by wadoon
42m 27s weigl/configversion
weigl/configversion
42m 27s
Tests Tests #5001: Merge group checks requested
40m 45s
40m 45s
CodeQuality CodeQuality #5082: Merge group checks requested
2m 43s
2m 43s
Tests Tests #5000: Merge group checks requested
40m 43s
40m 43s
CodeQuality CodeQuality #5081: Merge group checks requested
2m 32s
2m 32s
Tests Tests #4999: Merge group checks requested
43m 0s
43m 0s