Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
2,077 workflow runs
2,077 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
Migrate to JMLtk CodeQuality #5533: Pull request #3966 synchronize by wadoon
2m 21s weigl/jmltk
weigl/jmltk
2m 21s
Migrate to JMLtk CodeQuality #5532: Pull request #3966 opened by wadoon
2m 27s weigl/jmltk
weigl/jmltk
2m 27s
repairing NPE when invoking KeY on a local file. (#3965) CodeQuality #5531: Commit 555a763 pushed by github-merge-queue Bot
2m 33s main
main
2m 33s
CodeQuality CodeQuality #5530: Merge group checks requested
2m 19s
2m 19s
Add Case Study Verify This 2026/1 CodeQuality #5529: Pull request #3964 synchronize by mattulbrich
2m 35s verifyThis26_1
verifyThis26_1
2m 35s
Small feature: go to node with given serial number CodeQuality #5528: Pull request #3963 synchronize by mattulbrich
2m 40s pfeifer/gotoNode
pfeifer/gotoNode
2m 40s
Small feature: go to node with given serial number CodeQuality #5527: Pull request #3963 synchronize by mattulbrich
2m 44s pfeifer/gotoNode
pfeifer/gotoNode
2m 44s
repairing NPE when invoking KeY on a local file. CodeQuality #5526: Pull request #3965 opened by mattulbrich
2m 42s fixNPEinCLI2
fixNPEinCLI2
2m 42s
Add Case Study Verify This 2026/1 CodeQuality #5525: Pull request #3964 synchronize by mattulbrich
2m 39s verifyThis26_1
verifyThis26_1
2m 39s
Add Case Study Verify This 2026/1 CodeQuality #5524: Pull request #3964 synchronize by mattulbrich
2m 43s verifyThis26_1
verifyThis26_1
2m 43s
Add Case Study Verify This 2026/1 CodeQuality #5523: Pull request #3964 synchronize by mattulbrich
2m 24s verifyThis26_1
verifyThis26_1
2m 24s
Add Case Study Verify This 2026/1 CodeQuality #5522: Pull request #3964 opened by mattulbrich
2m 4s verifyThis26_1
verifyThis26_1
2m 4s
Formalize LocSet as Set of Locations CodeQuality #5521: Pull request #3962 synchronize by unp1
2m 29s locset-as-set
locset-as-set
2m 29s
Formalize LocSet as Set of Locations CodeQuality #5520: Pull request #3962 synchronize by unp1
2m 27s locset-as-set
locset-as-set
2m 27s
Formalize LocSet as Set of Locations CodeQuality #5519: Pull request #3962 synchronize by unp1
2m 24s locset-as-set
locset-as-set
2m 24s
Formalize LocSet as Set of Locations CodeQuality #5518: Pull request #3962 synchronize by Drodt
2m 3s locset-as-set
locset-as-set
2m 3s
Formalize LocSet as Set of Locations CodeQuality #5517: Pull request #3962 synchronize by unp1
2m 19s locset-as-set
locset-as-set
2m 19s
Formalize LocSet as Set of Locations CodeQuality #5516: Pull request #3962 synchronize by unp1
2m 27s locset-as-set
locset-as-set
2m 27s
Formalize LocSet as Set of Locations CodeQuality #5515: Pull request #3962 synchronize by Drodt
2m 25s locset-as-set
locset-as-set
2m 25s
Formalize LocSet as Set of Locations CodeQuality #5514: Pull request #3962 synchronize by Drodt
2m 19s locset-as-set
locset-as-set
2m 19s
Formalize LocSet as Set of Locations CodeQuality #5513: Pull request #3962 synchronize by Drodt
2m 16s locset-as-set
locset-as-set
2m 16s
Definitional Skolem constants CodeQuality #5512: Pull request #3960 synchronize by unp1
2m 35s bubel/definitional-skolems-on-main
bubel/definitional-skolems-on-main
2m 35s
Formalize LocSet as Set of Locations CodeQuality #5511: Pull request #3962 synchronize by Drodt
1m 52s locset-as-set
locset-as-set
1m 52s
Quantifier and Heap Reasoning Improvements CodeQuality #5510: Pull request #3961 synchronize by unp1
2m 36s bubel/quantifier-shape-fallback
bubel/quantifier-shape-fallback
2m 36s
Formalize LocSet as Set of Locations CodeQuality #5509: Pull request #3962 synchronize by Drodt
2m 27s locset-as-set
locset-as-set
2m 27s