Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
1,511 workflow runs
1,511 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
Universe Type Rules CodeQuality #4621: Pull request #3724 synchronize by PiIsRational
1m 38s PiIsRational:ut-integration
PiIsRational:ut-integration
1m 38s
Universe Type Rules CodeQuality #4620: Pull request #3724 synchronize by PiIsRational
1m 57s PiIsRational:ut-integration
PiIsRational:ut-integration
1m 57s
Universe Type Rules CodeQuality #4619: Pull request #3724 synchronize by PiIsRational
1m 54s PiIsRational:ut-integration
PiIsRational:ut-integration
1m 54s
Options Panel in Load Dialog. Options in Recent Files CodeQuality #4618: Pull request #3788 synchronize by wadoon
2m 24s weigl/loadoptionpanel
weigl/loadoptionpanel
2m 24s
hermes init CodeQuality #4617: Pull request #3817 synchronize by wadoon
2m 22s weigl/hermes
weigl/hermes
2m 22s
hermes init CodeQuality #4616: Pull request #3817 synchronize by wadoon
2m 26s weigl/hermes
weigl/hermes
2m 26s
hermes init CodeQuality #4615: Pull request #3817 opened by wadoon
2m 40s weigl/hermes
weigl/hermes
2m 40s
Generation of Java AST classes CodeQuality #4614: Pull request #3809 synchronize by wadoon
1m 38s weigl/javaastgen
weigl/javaastgen
1m 38s
Better ImmutableList CodeQuality #4613: Pull request #3816 synchronize by wadoon
59s weigl/ilist
weigl/ilist
59s
Better ImmutableList CodeQuality #4612: Pull request #3816 synchronize by wadoon
57s weigl/ilist
weigl/ilist
57s
Better ImmutableList CodeQuality #4611: Pull request #3816 synchronize by wadoon
1m 6s weigl/ilist
weigl/ilist
1m 6s
Better ImmutableList CodeQuality #4610: Pull request #3816 synchronize by wadoon
1m 0s weigl/ilist
weigl/ilist
1m 0s
Better ImmutableList CodeQuality #4609: Pull request #3816 opened by wadoon
1m 5s weigl/ilist
weigl/ilist
1m 5s
Proof Scripts in JML CodeQuality #4608: Pull request #3657 synchronize by wadoon
2m 7s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 7s
Universe Type Rules CodeQuality #4607: Pull request #3724 synchronize by PiIsRational
1m 38s PiIsRational:ut-integration
PiIsRational:ut-integration
1m 38s
Update the InfoTree component CodeQuality #4606: Pull request #3786 synchronize by wadoon
2m 42s weigl/infotree
weigl/infotree
2m 42s
MetaSpace for documentation and origin CodeQuality #4605: Pull request #3787 synchronize by wadoon
2m 32s weigl/metaspace
weigl/metaspace
2m 32s
Options Panel in Load Dialog. Options in Recent Files CodeQuality #4604: Pull request #3788 synchronize by wadoon
2m 12s weigl/loadoptionpanel
weigl/loadoptionpanel
2m 12s
Clean up the Java AST: Avoid sub-classes in favor of Enum CodeQuality #4603: Pull request #3803 synchronize by wadoon
2m 30s weigl/javaastenums
weigl/javaastenums
2m 30s
Clean up the Java AST: Avoid sub-classes in favor of Enum CodeQuality #4602: Pull request #3803 synchronize by wadoon
2m 27s weigl/javaastenums
weigl/javaastenums
2m 27s
Clean up the Java AST: Avoid sub-classes in favor of Enum CodeQuality #4601: Pull request #3803 synchronize by wadoon
2m 2s weigl/javaastenums
weigl/javaastenums
2m 2s
Clean up the Java AST: Avoid sub-classes in favor of Enum CodeQuality #4600: Pull request #3803 synchronize by wadoon
2m 17s weigl/javaastenums
weigl/javaastenums
2m 17s
Clean up the Java AST: Avoid sub-classes in favor of Enum CodeQuality #4599: Pull request #3803 synchronize by wadoon
1m 43s weigl/javaastenums
weigl/javaastenums
1m 43s
Clean up the Java AST: Avoid sub-classes in favor of Enum CodeQuality #4598: Pull request #3803 synchronize by wadoon
2m 15s weigl/javaastenums
weigl/javaastenums
2m 15s
Generation of Java AST classes CodeQuality #4597: Pull request #3809 synchronize by wadoon
1m 50s weigl/javaastgen
weigl/javaastgen
1m 50s