Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

The Removal of Recoder CodeQuality #4267: Pull request #3120 synchronize by wadoon
2m 24s weigl/key-javaparser3
weigl/key-javaparser3
2m 24s
Purge sort depending functions in favor of parametric functions CodeQuality #4266: Pull request #3773 synchronize by Drodt
2m 30s purge-sort-depending-fn
purge-sort-depending-fn
2m 30s
Purge sort depending functions in favor of parametric functions CodeQuality #4265: Pull request #3773 synchronize by Drodt
2m 27s purge-sort-depending-fn
purge-sort-depending-fn
2m 27s
Purge sort depending functions in favor of parametric functions CodeQuality #4264: Pull request #3773 synchronize by Drodt
2m 32s purge-sort-depending-fn
purge-sort-depending-fn
2m 32s
Send Feedback using Github issues (#3736) CodeQuality #4263: Commit d52582d pushed by github-merge-queue bot
2m 29s main
main
2m 29s
CodeQuality CodeQuality #4262: Merge group checks requested
2m 31s
2m 31s
Purge sort depending functions in favor of parametric functions CodeQuality #4261: Pull request #3773 opened by Drodt
2m 29s purge-sort-depending-fn
purge-sort-depending-fn
2m 29s
Taclet definition added to problemHeader CodeQuality #4260: Pull request #3733 synchronize by wadoon
2m 25s weigl/fix849
weigl/fix849
2m 25s
Taclet definition added to problemHeader CodeQuality #4259: Pull request #3733 synchronize by wadoon
2m 26s weigl/fix849
weigl/fix849
2m 26s
Bump the gradle-deps group across 1 directory with 9 updates (#3756) CodeQuality #4258: Commit 9296840 pushed by github-merge-queue bot
2m 50s main
main
2m 50s
Create a JSON-RPC for KeY CodeQuality #4257: Pull request #3303 synchronize by wadoon
2m 29s weigl/jsonrpc
weigl/jsonrpc
2m 29s
CodeQuality CodeQuality #4256: Merge group checks requested
2m 36s
2m 36s
Add Polymorphic Sorts and Functions (#3652) CodeQuality #4255: Commit c874310 pushed by github-merge-queue bot
2m 30s main
main
2m 30s
CodeQuality CodeQuality #4254: Merge group checks requested
2m 22s
2m 22s
Handle Switch in Taclets w/o Transformer CodeQuality #4253: Pull request #3761 synchronize by Drodt
2m 32s Drodt:match-switch
Drodt:match-switch
2m 32s
CodeQuality CodeQuality #4252: Merge group checks requested
2m 31s
2m 31s
The Removal of Recoder CodeQuality #4251: Pull request #3120 synchronize by unp1
2m 31s weigl/key-javaparser3
weigl/key-javaparser3
2m 31s
The Removal of Recoder CodeQuality #4250: Pull request #3120 synchronize by unp1
2m 26s weigl/key-javaparser3
weigl/key-javaparser3
2m 26s
The Removal of Recoder CodeQuality #4249: Pull request #3120 synchronize by unp1
2m 36s weigl/key-javaparser3
weigl/key-javaparser3
2m 36s
The Removal of Recoder CodeQuality #4248: Pull request #3120 synchronize by unp1
2m 23s weigl/key-javaparser3
weigl/key-javaparser3
2m 23s
The Removal of Recoder CodeQuality #4247: Pull request #3120 synchronize by unp1
2m 21s weigl/key-javaparser3
weigl/key-javaparser3
2m 21s
The Removal of Recoder CodeQuality #4246: Pull request #3120 synchronize by unp1
2m 30s weigl/key-javaparser3
weigl/key-javaparser3
2m 30s
The Removal of Recoder CodeQuality #4245: Pull request #3120 synchronize by unp1
2m 29s weigl/key-javaparser3
weigl/key-javaparser3
2m 29s
The Removal of Recoder CodeQuality #4244: Pull request #3120 synchronize by unp1
2m 28s weigl/key-javaparser3
weigl/key-javaparser3
2m 28s
The Removal of Recoder CodeQuality #4243: Pull request #3120 synchronize by unp1
2m 21s weigl/key-javaparser3
weigl/key-javaparser3
2m 21s