Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
1,864 workflow runs
1,864 workflow runs

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 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 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 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
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 CodeQuality #5086: Pull request #3888 synchronize by wadoon
2m 52s weigl/configversion
weigl/configversion
2m 52s
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
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
CodeQuality CodeQuality #5082: Merge group checks requested
2m 43s
2m 43s
CodeQuality CodeQuality #5081: Merge group checks requested
2m 32s
2m 32s
CodeQuality CodeQuality #5080: Merge group checks requested
2m 34s
2m 34s
Fix changing Taclet Options via the GUI (and more) + TimSort source f… CodeQuality #5079: Commit b649c2a pushed by github-merge-queue Bot
2m 40s main
main
2m 40s
Implement \real literals (#3570); fix LogicPrinter.quickPrintSemisequ… CodeQuality #5078: Commit 3913ff2 pushed by github-merge-queue Bot
2m 28s main
main
2m 28s
CodeQuality CodeQuality #5077: Merge group checks requested
2m 31s
2m 31s
CodeQuality CodeQuality #5076: Merge group checks requested
2m 29s
2m 29s
Feature: Version-based Configuration Paths CodeQuality #5075: Pull request #3888 synchronize by wadoon
2m 19s weigl/configversion
weigl/configversion
2m 19s
Multithreading for KeY and now it's deterministic too CodeQuality #5074: Pull request #3842 synchronize by unp1
2m 28s bubel/mt-goals
bubel/mt-goals
2m 28s
Fix changing Taclet Options via the GUI (and more) + TimSort source files added as examples CodeQuality #5073: Pull request #3889 synchronize by unp1
2m 33s bubel/keyload-error-messages
bubel/keyload-error-messages
2m 33s
Multithreading for KeY and now it's deterministic too CodeQuality #5072: Pull request #3842 synchronize by unp1
2m 26s bubel/mt-goals
bubel/mt-goals
2m 26s
Multithreading for KeY and now it's deterministic too CodeQuality #5071: Pull request #3842 synchronize by unp1
2m 20s bubel/mt-goals
bubel/mt-goals
2m 20s
Feature: Version-based Configuration Paths CodeQuality #5070: Pull request #3888 synchronize by wadoon
2m 28s weigl/configversion
weigl/configversion
2m 28s
Feature: Version-based Configuration Paths CodeQuality #5069: Pull request #3888 synchronize by wadoon
2m 14s weigl/configversion
weigl/configversion
2m 14s
Feature: Version-based Configuration Paths CodeQuality #5068: Pull request #3888 synchronize by wadoon
2m 31s weigl/configversion
weigl/configversion
2m 31s