Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
1,592 workflow runs
1,592 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
Multithreading for KeY CodeQuality #4757: Pull request #3842 synchronize by unp1
2m 30s bubel/mt-goals
bubel/mt-goals
2m 30s
Multithreading for KeY: combined preview with the performance series CodeQuality #4756: Pull request #3843 synchronize by unp1
2m 11s bubel/mt-perf-integration
bubel/mt-perf-integration
2m 11s
Multithreading for KeY CodeQuality #4755: Pull request #3842 synchronize by unp1
2m 14s bubel/mt-goals
bubel/mt-goals
2m 14s
Multithreading for KeY: combined preview with the performance series CodeQuality #4754: Pull request #3843 synchronize by unp1
2m 18s bubel/mt-perf-integration
bubel/mt-perf-integration
2m 18s
Fixes for minor regressions on main CodeQuality #4753: Pull request #3844 opened by unp1
2m 8s bubel/minor-regression-fixes
bubel/minor-regression-fixes
2m 8s
Multithreading for KeY CodeQuality #4752: Pull request #3842 synchronize by unp1
2m 24s bubel/mt-goals
bubel/mt-goals
2m 24s
Multithreading for KeY: combined preview with the performance series CodeQuality #4751: Pull request #3843 synchronize by unp1
2m 15s bubel/mt-perf-integration
bubel/mt-perf-integration
2m 15s
Multithreading for KeY: combined preview with the performance series CodeQuality #4750: Pull request #3843 opened by unp1
2m 14s bubel/mt-perf-integration
bubel/mt-perf-integration
2m 14s
Multithreading for KeY CodeQuality #4749: Pull request #3842 opened by unp1
2m 6s bubel/mt-goals
bubel/mt-goals
2m 6s
Allow realizing multiple cached branches at once CodeQuality #4748: Pull request #3440 synchronize by WolframPfeifer
2m 20s FliegendeWurst:copy-referenced-action
FliegendeWurst:copy-referenced-action
2m 20s
Allow realizing multiple cached branches at once CodeQuality #4747: Pull request #3440 synchronize by WolframPfeifer
2m 30s FliegendeWurst:copy-referenced-action
FliegendeWurst:copy-referenced-action
2m 30s
Handle Switch in Taclets w/o Transformer CodeQuality #4746: Pull request #3761 synchronize by Drodt
2m 24s Drodt:match-switch
Drodt:match-switch
2m 24s
Handle Switch in Taclets w/o Transformer CodeQuality #4745: Pull request #3761 synchronize by Drodt
1m 44s Drodt:match-switch
Drodt:match-switch
1m 44s
Support co- and contravariant sorts CodeQuality #4744: Pull request #3841 synchronize by Drodt
2m 24s variant-sorts
variant-sorts
2m 24s
Handle Switch in Taclets w/o Transformer CodeQuality #4743: Pull request #3761 synchronize by Drodt
1m 39s Drodt:match-switch
Drodt:match-switch
1m 39s
Support co- and contravariant sorts CodeQuality #4742: Pull request #3841 synchronize by Drodt
2m 11s variant-sorts
variant-sorts
2m 11s
Support co- and contravariant sorts CodeQuality #4741: Pull request #3841 synchronize by Drodt
2m 22s variant-sorts
variant-sorts
2m 22s
Support co- and contravariant sorts CodeQuality #4740: Pull request #3841 opened by Drodt
2m 13s variant-sorts
variant-sorts
2m 13s
Fix 'choose contract' in parser (#3840) CodeQuality #4739: Commit 97844f4 pushed by github-merge-queue Bot
2m 22s main
main
2m 22s
MetaSpace for documentation and origin CodeQuality #4738: Pull request #3787 synchronize by wadoon
2m 32s weigl/metaspace
weigl/metaspace
2m 32s
CodeQuality CodeQuality #4737: Merge group checks requested
2m 30s
2m 30s
Fix 'choose contract' in parser CodeQuality #4736: Pull request #3840 opened by Drodt
1m 39s fix-choose-contract
fix-choose-contract
1m 39s
Performance (overview): round-3 combined — 1.82× faster automode (all five PRs) CodeQuality #4735: Pull request #3839 synchronize by unp1
2m 6s perf-round3-meta
perf-round3-meta
2m 6s
Performance (overview): round-3 combined — 1.82× faster automode (all five PRs) CodeQuality #4734: Pull request #3839 synchronize by unp1
2m 15s perf-round3-meta
perf-round3-meta
2m 15s
Performance (1/5): Matching can now partially evaluate taclets CodeQuality #4733: Pull request #3831 synchronize by unp1
2m 11s matcherFramework
matcherFramework
2m 11s