Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
1,534 workflow runs
1,534 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
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
Remove codecov from CI (#3802) CodeQuality #4596: Commit 9b13d38 pushed by github-merge-queue Bot
2m 39s main
main
2m 39s
CodeQuality CodeQuality #4595: Merge group checks requested
2m 31s
2m 31s
Generation of Java AST classes CodeQuality #4594: Pull request #3809 synchronize by wadoon
1m 43s weigl/javaastgen
weigl/javaastgen
1m 43s
Clean up the Java AST: Avoid sub-classes in favor of Enum CodeQuality #4593: Pull request #3803 synchronize by wadoon
2m 26s weigl/javaastenums
weigl/javaastenums
2m 26s
CodeQuality CodeQuality #4592: Merge group checks requested
2m 23s
2m 23s
Create a JSON-RPC for KeY CodeQuality #4591: Pull request #3303 synchronize by wadoon
1m 49s weigl/jsonrpc
weigl/jsonrpc
1m 49s
Proof Scripts in JML CodeQuality #4590: Pull request #3657 synchronize by wadoon
2m 15s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 15s