Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
2,114 workflow runs
2,114 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
Jml lemmas CodeQuality #5570: Pull request #3971 opened by mattulbrich
1m 44s mattulbrich:jmlLemmas
mattulbrich:jmlLemmas
1m 44s
Migrate to JMLtk CodeQuality #5569: Pull request #3966 synchronize by unp1
3m 8s weigl/jmltk
weigl/jmltk
3m 8s
Migrate to JMLtk CodeQuality #5568: Pull request #3966 reopened by unp1
2m 29s weigl/jmltk
weigl/jmltk
2m 29s
Quantifier and Heap Reasoning Improvements CodeQuality #5567: Pull request #3961 synchronize by unp1
2m 23s bubel/quantifier-shape-fallback
bubel/quantifier-shape-fallback
2m 23s
Quantifier and Heap Reasoning Improvements CodeQuality #5566: Pull request #3961 synchronize by unp1
2m 32s bubel/quantifier-shape-fallback
bubel/quantifier-shape-fallback
2m 32s
Fix leaking in ImmutableList#fromArray (#3968) CodeQuality #5565: Commit d36571f pushed by github-merge-queue Bot
2m 32s main
main
2m 32s
CodeQuality CodeQuality #5564: Merge group checks requested
2m 30s
2m 30s
Fix leaking in ImmutableList#fromArray CodeQuality #5563: Pull request #3968 synchronize by wadoon
2m 4s weigl/ilist2
weigl/ilist2
2m 4s
Fix leaking in ImmutableList#fromArray CodeQuality #5562: Pull request #3968 synchronize by wadoon
2m 22s weigl/ilist2
weigl/ilist2
2m 22s
Generation of Java AST classes CodeQuality #5561: Pull request #3809 synchronize by wadoon
1m 52s weigl/javaastgen
weigl/javaastgen
1m 52s
Definitional Skolem constants (#3960) CodeQuality #5560: Commit 63543e1 pushed by github-merge-queue Bot
2m 31s main
main
2m 31s
CodeQuality CodeQuality #5559: Merge group checks requested
2m 6s
2m 6s
CodeQuality CodeQuality #5558: Merge group checks requested
2m 6s
2m 6s
Make the strategy cost structure explicit CodeQuality #5557: Pull request #3904 synchronize by Drodt
2m 34s bubel/strategy-cost-cleanup
bubel/strategy-cost-cleanup
2m 34s
Formalize LocSet as Set of Locations (#3962) CodeQuality #5556: Commit 558b12f pushed by github-merge-queue Bot
2m 12s main
main
2m 12s
Definitional Skolem constants CodeQuality #5555: Pull request #3960 synchronize by Drodt
2m 25s bubel/definitional-skolems-on-main
bubel/definitional-skolems-on-main
2m 25s
CodeQuality CodeQuality #5554: Merge group checks requested
2m 6s
2m 6s
Generation of Java AST classes CodeQuality #5553: Pull request #3809 synchronize by wadoon
1m 51s weigl/javaastgen
weigl/javaastgen
1m 51s
Bump the gradle-deps group with 4 updates (#3969) CodeQuality #5552: Commit db784c4 pushed by github-merge-queue Bot
2m 27s main
main
2m 27s
Generation of Java AST classes CodeQuality #5551: Pull request #3809 synchronize by wadoon
2m 8s weigl/javaastgen
weigl/javaastgen
2m 8s
Generation of Java AST classes CodeQuality #5550: Pull request #3809 synchronize by wadoon
1m 8s weigl/javaastgen
weigl/javaastgen
1m 8s
Bump actions/setup-java from 5.6.0 to 5.7.0 in the github-actions-dep… CodeQuality #5549: Commit a45e5a2 pushed by github-merge-queue Bot
2m 35s main
main
2m 35s
CodeQuality CodeQuality #5548: Merge group checks requested
3m 2s
3m 2s
CodeQuality CodeQuality #5547: Merge group checks requested
2m 48s
2m 48s
Add Case Study Verify This 2026/1 CodeQuality #5546: Pull request #3964 synchronize by mattulbrich
2m 27s verifyThis26_1
verifyThis26_1
2m 27s