Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
1,776 workflow runs
1,776 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
Proof Scripts in JML (#3657) CodeQuality #4990: Commit 993820e pushed by github-merge-queue Bot
2m 27s main
main
2m 27s
CodeQuality CodeQuality #4989: Merge group checks requested
2m 24s
2m 24s
Proof Scripts in JML CodeQuality #4988: Pull request #3657 synchronize by wadoon
2m 12s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 12s
Proof Scripts in JML CodeQuality #4987: Pull request #3657 synchronize by unp1
9s mattulbrich:jmlScripts
mattulbrich:jmlScripts
9s
Proof Scripts in JML CodeQuality #4986: Pull request #3657 synchronize by unp1
8s mattulbrich:jmlScripts
mattulbrich:jmlScripts
8s
Multithreading for KeY CodeQuality #4985: Pull request #3842 synchronize by unp1
2m 22s bubel/mt-goals
bubel/mt-goals
2m 22s
Proof Scripts in JML CodeQuality #4984: Pull request #3657 synchronize by unp1
1s mattulbrich:jmlScripts
mattulbrich:jmlScripts
1s
Proof Scripts in JML CodeQuality #4983: Pull request #3657 synchronize by unp1
8s mattulbrich:jmlScripts
mattulbrich:jmlScripts
8s
Proof Scripts in JML CodeQuality #4982: Pull request #3657 synchronize by unp1
1s mattulbrich:jmlScripts
mattulbrich:jmlScripts
1s
Better ImmutableList (#3816) CodeQuality #4981: Commit 84570f1 pushed by github-merge-queue Bot
2m 34s main
main
2m 34s
CodeQuality CodeQuality #4980: Merge group checks requested
2m 32s
2m 32s
Better ImmutableList CodeQuality #4979: Pull request #3816 synchronize by wadoon
2m 14s weigl/ilist
weigl/ilist
2m 14s
Proof Scripts in JML CodeQuality #4978: Pull request #3657 synchronize by unp1
8s mattulbrich:jmlScripts
mattulbrich:jmlScripts
8s
Proof Scripts in JML CodeQuality #4977: Pull request #3657 synchronize by unp1
8s mattulbrich:jmlScripts
mattulbrich:jmlScripts
8s
Implement \real literals (#3570); fix LogicPrinter.quickPrintSemisequent (#243) CodeQuality #4976: Pull request #3865 synchronize by unp1
2m 22s fix/key-core-printer-low
fix/key-core-printer-low
2m 22s
fixes #3670: KeY does not know that enum constants are non-null CodeQuality #4975: Pull request #3676 synchronize by wadoon
2m 18s fix3670
fix3670
2m 18s
Follow-up fixes for cost-reuse: unsound static caches CodeQuality #4974: Pull request #3873 synchronize by unp1
2m 24s costreuse-stable-classification
costreuse-stable-classification
2m 24s
Report missing \endmodality at the modality opening; move source-loca… CodeQuality #4973: Commit edc8e8e pushed by github-merge-queue Bot
2m 21s main
main
2m 21s
Bump the gradle-deps group across 1 directory with 9 updates CodeQuality #4972: Pull request #3872 synchronize by wadoon
2m 28s dependabot/gradle/gradle-deps-4e7e9ba3f1
dependabot/gradle/gradle-deps-4e7e9ba3f1
2m 28s
fixes #3670: KeY does not know that enum constants are non-null CodeQuality #4971: Pull request #3676 synchronize by wadoon
2m 14s fix3670
fix3670
2m 14s
Follow-up fixes for cost-reuse: unsound static caches CodeQuality #4970: Pull request #3873 synchronize by unp1
2m 14s costreuse-stable-classification
costreuse-stable-classification
2m 14s
Follow-up fixes for cost-reuse: unsound static caches CodeQuality #4969: Pull request #3873 synchronize by unp1
2m 8s costreuse-stable-classification
costreuse-stable-classification
2m 8s
CodeQuality CodeQuality #4968: Merge group checks requested
2m 17s
2m 17s
Follow-up fixes for cost-reuse: unsound static caches CodeQuality #4967: Pull request #3873 synchronize by unp1
2m 17s costreuse-stable-classification
costreuse-stable-classification
2m 17s
fixes #3670: KeY does not know that enum constants are non-null CodeQuality #4966: Pull request #3676 synchronize by wadoon
2m 24s fix3670
fix3670
2m 24s