Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
1,524 workflow runs
1,524 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
Prepare for KeY 2.12.4 CodeQuality #4341: Pull request #3780 opened by unp1
2m 32s releases/KeY-2.12.4-Release-Candidate
releases/KeY-2.12.4-Release-Candidate
2m 32s
Profile-dependent option panel in loading dialog CodeQuality #4340: Pull request #3744 synchronize by wadoon
2m 31s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
2m 31s
Profile-dependent option panel in loading dialog CodeQuality #4339: Pull request #3744 synchronize by wadoon
1m 49s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
1m 49s
Purge sort depending functions in favor of parametric functions CodeQuality #4338: Pull request #3773 synchronize by Drodt
2m 31s purge-sort-depending-fn
purge-sort-depending-fn
2m 31s
Add sort aliases (#3778) CodeQuality #4337: Commit de96d21 pushed by github-merge-queue Bot
2m 27s main
main
2m 27s
Cleanup: Making the build script fit for the future. CodeQuality #4336: Pull request #3552 synchronize by wadoon
2m 14s weigl/cleanup/gradle
weigl/cleanup/gradle
2m 14s
CodeQuality CodeQuality #4335: Merge group checks requested
2m 35s
2m 35s
Purge sort depending functions in favor of parametric functions CodeQuality #4334: Pull request #3773 synchronize by Drodt
2m 32s purge-sort-depending-fn
purge-sort-depending-fn
2m 32s
Add sort aliases CodeQuality #4333: Pull request #3778 synchronize by Drodt
2m 32s sort-alias
sort-alias
2m 32s
Add sort aliases CodeQuality #4332: Pull request #3778 synchronize by Drodt
2m 22s sort-alias
sort-alias
2m 22s
Profile-dependent option panel in loading dialog CodeQuality #4331: Pull request #3744 synchronize by wadoon
1m 55s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
1m 55s
Profile-dependent option panel in loading dialog CodeQuality #4330: Pull request #3744 synchronize by wadoon
1m 54s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
1m 54s
Profile-dependent option panel in loading dialog CodeQuality #4329: Pull request #3744 synchronize by wadoon
1m 47s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
1m 47s
Taclet definition added to problemHeader (#3733) CodeQuality #4328: Commit 031be77 pushed by github-merge-queue Bot
3m 7s main
main
3m 7s
CodeQuality CodeQuality #4327: Merge group checks requested
2m 55s
2m 55s
Taclet definition added to problemHeader CodeQuality #4326: Pull request #3733 synchronize by wadoon
2m 30s weigl/fix849
weigl/fix849
2m 30s
Taclet definition added to problemHeader CodeQuality #4325: Pull request #3733 synchronize by wadoon
2m 45s weigl/fix849
weigl/fix849
2m 45s
The Removal of Recoder CodeQuality #4324: Pull request #3120 synchronize by wadoon
2m 17s weigl/key-javaparser3
weigl/key-javaparser3
2m 17s
KeY 2.12.4 RC CodeQuality #4323: Pull request #3779 opened by unp1
2m 34s KeY-2.12.4-Release-Candidate
KeY-2.12.4-Release-Candidate
2m 34s
Prepare for KeY 2.12.4 CodeQuality #4322: Commit 398f9ff pushed by unp1
2m 27s KeY-2.12.4-Release-Candidate
KeY-2.12.4-Release-Candidate
2m 27s
Modularity for Proof Strategies (#3650) CodeQuality #4321: Commit 36f73cd pushed by unp1
3m 21s KeY-2.12.4-Release-Candidate
KeY-2.12.4-Release-Candidate
3m 21s
The Removal of Recoder CodeQuality #4320: Pull request #3120 synchronize by wadoon
2m 19s weigl/key-javaparser3
weigl/key-javaparser3
2m 19s
The Removal of Recoder CodeQuality #4319: Pull request #3120 synchronize by wadoon
2m 23s weigl/key-javaparser3
weigl/key-javaparser3
2m 23s
The Removal of Recoder CodeQuality #4318: Pull request #3120 synchronize by wadoon
2m 22s weigl/key-javaparser3
weigl/key-javaparser3
2m 22s
The Removal of Recoder CodeQuality #4317: Pull request #3120 synchronize by wadoon
2m 20s weigl/key-javaparser3
weigl/key-javaparser3
2m 20s
ProTip! You can narrow down the results and go further in time using created:<2026-03-19 or the other filters available.