Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Profile-dependent option panel in loading dialog CodeQuality #4356: Pull request #3744 synchronize by wadoon
1m 53s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
1m 53s
module-info.java, 2nd attempt CodeQuality #4355: Pull request #3623 synchronize by wadoon
2m 50s weigl/module
weigl/module
2m 50s
Create a JSON-RPC for KeY CodeQuality #4354: Pull request #3303 synchronize by wadoon
2m 43s weigl/jsonrpc
weigl/jsonrpc
2m 43s
Profile-dependent option panel in loading dialog CodeQuality #4353: Pull request #3744 synchronize by wadoon
1m 15s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
1m 15s
Profile-dependent option panel in loading dialog CodeQuality #4352: Pull request #3744 synchronize by wadoon
1m 16s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
1m 16s
Profile-dependent option panel in loading dialog CodeQuality #4351: Pull request #3744 synchronize by wadoon
1m 26s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
1m 26s
Profile-dependent option panel in loading dialog CodeQuality #4350: Pull request #3744 synchronize by wadoon
1m 8s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
1m 8s
Profile-dependent option panel in loading dialog CodeQuality #4349: Pull request #3744 synchronize by wadoon
1m 11s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
1m 11s
Profile-dependent option panel in loading dialog CodeQuality #4348: Pull request #3744 synchronize by wadoon
1m 13s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
1m 13s
Prereleases/ke y 3.0.0 jp rc CodeQuality #4347: Pull request #3781 synchronize by wadoon
2m 14s prereleases/KeY-3.0.0-JP-rc
prereleases/KeY-3.0.0-JP-rc
2m 14s
Prereleases/ke y 3.0.0 jp rc CodeQuality #4346: Pull request #3781 opened by wadoon
2m 22s prereleases/KeY-3.0.0-JP-rc
prereleases/KeY-3.0.0-JP-rc
2m 22s
Prepare for KeY 2.12.4 CodeQuality #4345: Pull request #3780 synchronize by unp1
2m 29s releases/KeY-2.12.4-Release-Candidate
releases/KeY-2.12.4-Release-Candidate
2m 29s
Prepare for KeY 2.12.4 CodeQuality #4344: Pull request #3780 synchronize by unp1
2m 38s releases/KeY-2.12.4-Release-Candidate
releases/KeY-2.12.4-Release-Candidate
2m 38s
Prepare for KeY 2.12.4 CodeQuality #4343: Pull request #3780 synchronize by unp1
2m 37s releases/KeY-2.12.4-Release-Candidate
releases/KeY-2.12.4-Release-Candidate
2m 37s
Prepare for KeY 2.12.4 CodeQuality #4342: Pull request #3780 synchronize by unp1
2m 35s releases/KeY-2.12.4-Release-Candidate
releases/KeY-2.12.4-Release-Candidate
2m 35s
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