Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
1,662 workflow runs
1,662 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
Further improvements on error message reporting CodeQuality #4833: Pull request #3859 opened by unp1
2m 21s improveErrorMessages2
improveErrorMessages2
2m 21s
automode to choose from a dropdown list CodeQuality #4832: Pull request #3857 synchronize by mattulbrich
2m 17s automodeDropdown
automodeDropdown
2m 17s
automode to choose from a dropdown list CodeQuality #4831: Pull request #3857 synchronize by mattulbrich
2m 24s automodeDropdown
automodeDropdown
2m 24s
Fix pruning of cached branches CodeQuality #4830: Pull request #3858 opened by FliegendeWurst
1m 57s FliegendeWurst:cachingFixes
FliegendeWurst:cachingFixes
1m 57s
automode to choose from a dropdown list CodeQuality #4829: Pull request #3857 opened by mattulbrich
2m 0s automodeDropdown
automodeDropdown
2m 0s
Fix newline escape for Windows (#3856) CodeQuality #4828: Commit fc9b4b3 pushed by github-merge-queue Bot
2m 14s main
main
2m 14s
CodeQuality CodeQuality #4827: Merge group checks requested
2m 22s
2m 22s
Proof Scripts in JML CodeQuality #4826: Pull request #3657 synchronize by mattulbrich
2m 18s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 18s
Fix newline escape for Windows CodeQuality #4825: Pull request #3856 opened by Drodt
2m 13s windows-rap
windows-rap
2m 13s
Proof Scripts in JML CodeQuality #4824: Pull request #3657 synchronize by mattulbrich
2m 2s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 2s
Multithreading for KeY: combined preview with the performance series CodeQuality #4823: Pull request #3843 synchronize by unp1
2m 3s bubel/mt-perf-integration
bubel/mt-perf-integration
2m 3s
Multithreading for KeY: combined preview with the performance series CodeQuality #4822: Pull request #3843 synchronize by unp1
46s bubel/mt-perf-integration
bubel/mt-perf-integration
46s
Taclet match dialog: collapse big matched terms; add an editor for SV… CodeQuality #4821: Commit 2ca65c4 pushed by github-merge-queue Bot
1m 59s main
main
1m 59s
CodeQuality CodeQuality #4820: Merge group checks requested
1m 59s
1m 59s
CodeQuality CodeQuality #4819: Merge group checks requested
2m 0s
2m 0s
Performance (overview): round-3 combined — 1.82× faster automode (all five PRs) CodeQuality #4818: Pull request #3839 synchronize by unp1
2m 10s perf-round3-meta
perf-round3-meta
2m 10s
Performance (1/5): Matching can now partially evaluate taclets CodeQuality #4817: Pull request #3831 synchronize by unp1
2m 8s matcherFramework
matcherFramework
2m 8s
Taclet match dialog: collapse big matched terms; add an editor for SV fields CodeQuality #4816: Pull request #3855 opened by unp1
2m 9s feature/taclet-match-dialog-followup
feature/taclet-match-dialog-followup
2m 9s
Multithreading for KeY: combined preview with the performance series CodeQuality #4815: Pull request #3843 synchronize by unp1
2m 12s bubel/mt-perf-integration
bubel/mt-perf-integration
2m 12s
Multithreading for KeY CodeQuality #4814: Pull request #3842 synchronize by unp1
2m 14s bubel/mt-goals
bubel/mt-goals
2m 14s
Fix per-proof memory leak: clear JavaParserFacade cache on dispose CodeQuality #4813: Pull request #3854 synchronize by unp1
2m 10s bubel/fix-dispose-leak
bubel/fix-dispose-leak
2m 10s
Fix per-proof memory leak: clear JavaParserFacade cache on dispose CodeQuality #4812: Pull request #3854 synchronize by unp1
2m 2s bubel/fix-dispose-leak
bubel/fix-dispose-leak
2m 2s
Fix per-proof memory leak: clear JavaParserFacade cache on dispose CodeQuality #4811: Pull request #3854 opened by unp1
2m 4s bubel/fix-dispose-leak
bubel/fix-dispose-leak
2m 4s
Revert "Create temporary PR body file" (#3852) CodeQuality #4810: Commit ad79a1f pushed by github-merge-queue Bot
2m 10s main
main
2m 10s
Remaining Changes for the KeY JSON-RPC API (#3849) CodeQuality #4809: Commit 2cb03b3 pushed by github-merge-queue Bot
2m 8s main
main
2m 8s