Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
1,516 workflow runs
1,516 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
Options Panel in Load Dialog. Options in Recent Files CodeQuality #4555: Pull request #3788 synchronize by wadoon
2m 34s weigl/loadoptionpanel
weigl/loadoptionpanel
2m 34s
Proof Scripts in JML CodeQuality #4554: Pull request #3657 synchronize by wadoon
1m 10s mattulbrich:jmlScripts
mattulbrich:jmlScripts
1m 10s
Fix Path bug (#3810) CodeQuality #4553: Commit 40d194c pushed by github-merge-queue Bot
3m 4s main
main
3m 4s
CodeQuality CodeQuality #4552: Merge group checks requested
2m 40s
2m 40s
Update function explanations to new syntax (#3811) CodeQuality #4551: Commit de3eae7 pushed by github-merge-queue Bot
2m 44s main
main
2m 44s
CodeQuality CodeQuality #4550: Merge group checks requested
2m 41s
2m 41s
Universe Type Rules CodeQuality #4549: Pull request #3724 synchronize by PiIsRational
2m 37s PiIsRational:ut-integration
PiIsRational:ut-integration
2m 37s
Update function explanations to new syntax CodeQuality #4548: Pull request #3811 opened by Drodt
2m 31s function-explanation
function-explanation
2m 31s
Purge sort depending functions in favor of parametric functions (#3773) CodeQuality #4547: Commit 1cc3706 pushed by github-merge-queue Bot
2m 43s main
main
2m 43s
CodeQuality CodeQuality #4546: Merge group checks requested
2m 31s
2m 31s
Handle Switch in Taclets w/o Transformer CodeQuality #4545: Pull request #3761 synchronize by Drodt
1m 31s Drodt:match-switch
Drodt:match-switch
1m 31s
Purge sort depending functions in favor of parametric functions CodeQuality #4544: Pull request #3773 synchronize by Drodt
2m 31s purge-sort-depending-fn
purge-sort-depending-fn
2m 31s
Purge sort depending functions in favor of parametric functions CodeQuality #4543: Pull request #3773 synchronize by Drodt
2m 38s purge-sort-depending-fn
purge-sort-depending-fn
2m 38s
Purge sort depending functions in favor of parametric functions CodeQuality #4542: Pull request #3773 synchronize by Drodt
2m 37s purge-sort-depending-fn
purge-sort-depending-fn
2m 37s
MetaSpace for documentation and origin CodeQuality #4541: Pull request #3787 synchronize by wadoon
1m 45s weigl/metaspace
weigl/metaspace
1m 45s
Update the InfoTree component CodeQuality #4540: Pull request #3786 synchronize by wadoon
2m 36s weigl/infotree
weigl/infotree
2m 36s
Options Panel in Load Dialog. Options in Recent Files CodeQuality #4539: Pull request #3788 synchronize by wadoon
2m 34s weigl/loadoptionpanel
weigl/loadoptionpanel
2m 34s
Fix Path bug CodeQuality #4538: Pull request #3810 opened by wadoon
2m 33s weigl/fixpathbug
weigl/fixpathbug
2m 33s
Generation of Java AST classes CodeQuality #4537: Pull request #3809 synchronize by wadoon
2m 0s weigl/javaastgen
weigl/javaastgen
2m 0s
Generation of Java AST classes CodeQuality #4536: Pull request #3809 synchronize by wadoon
1m 4s weigl/javaastgen
weigl/javaastgen
1m 4s
Generation of Java AST classes CodeQuality #4535: Pull request #3809 opened by wadoon
1m 3s weigl/javaastgen
weigl/javaastgen
1m 3s
Universe Type Rules CodeQuality #4534: Pull request #3724 synchronize by PiIsRational
2m 35s PiIsRational:ut-integration
PiIsRational:ut-integration
2m 35s
Universe Type Rules CodeQuality #4533: Pull request #3724 synchronize by PiIsRational
2m 17s PiIsRational:ut-integration
PiIsRational:ut-integration
2m 17s
Clean up the Java AST: Avoid sub-classes in favor of Enum CodeQuality #4532: Pull request #3803 synchronize by wadoon
2m 33s weigl/javaastenums
weigl/javaastenums
2m 33s
Clean up the Java AST: Avoid sub-classes in favor of Enum CodeQuality #4531: Pull request #3803 synchronize by wadoon
2m 26s weigl/javaastenums
weigl/javaastenums
2m 26s