Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
1,524 workflow runs
1,524 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
Record support by transformation CodeQuality #4441: Pull request #3758 synchronize by wadoon
2m 25s weigl/recordbytrans
weigl/recordbytrans
2m 25s
Universe Type Rules CodeQuality #4440: Pull request #3724 synchronize by PiIsRational
2m 15s PiIsRational:ut-integration
PiIsRational:ut-integration
2m 15s
Add support for Annotation Processors in the Javac Extension CodeQuality #4439: Pull request #3686 synchronize by WolframPfeifer
2m 13s PiIsRational:javac-extension
PiIsRational:javac-extension
2m 13s
Purge sort depending functions in favor of parametric functions CodeQuality #4438: Pull request #3773 synchronize by Drodt
2m 29s purge-sort-depending-fn
purge-sort-depending-fn
2m 29s
Purge sort depending functions in favor of parametric functions CodeQuality #4437: Pull request #3773 synchronize by Drodt
2m 32s purge-sort-depending-fn
purge-sort-depending-fn
2m 32s
Purge sort depending functions in favor of parametric functions CodeQuality #4436: Pull request #3773 synchronize by Drodt
2m 39s purge-sort-depending-fn
purge-sort-depending-fn
2m 39s
Purge sort depending functions in favor of parametric functions CodeQuality #4435: Pull request #3773 synchronize by Drodt
2m 27s purge-sort-depending-fn
purge-sort-depending-fn
2m 27s
Purge sort depending functions in favor of parametric functions CodeQuality #4434: Pull request #3773 synchronize by Drodt
2m 38s purge-sort-depending-fn
purge-sort-depending-fn
2m 38s
Purge sort depending functions in favor of parametric functions CodeQuality #4433: Pull request #3773 synchronize by Drodt
2m 28s purge-sort-depending-fn
purge-sort-depending-fn
2m 28s
Record support by transformation CodeQuality #4432: Pull request #3758 synchronize by wadoon
2m 37s weigl/recordbytrans
weigl/recordbytrans
2m 37s
Create a JSON-RPC for KeY CodeQuality #4431: Pull request #3303 synchronize by wadoon
1m 44s weigl/jsonrpc
weigl/jsonrpc
1m 44s
LLM support in KeY UI CodeQuality #4430: Pull request #3687 synchronize by wadoon
2m 15s weigl/llm
weigl/llm
2m 15s
Suppression of log for non-failing test classes CodeQuality #4429: Pull request #3746 synchronize by wadoon
1m 47s weigl/testlogging
weigl/testlogging
1m 47s
Lambda support by transformation CodeQuality #4428: Pull request #3759 synchronize by wadoon
1m 56s weigl/lambda
weigl/lambda
1m 56s
Record support by transformation CodeQuality #4427: Pull request #3758 synchronize by wadoon
2m 37s weigl/recordbytrans
weigl/recordbytrans
2m 37s
MetaSpace for documentation and origin CodeQuality #4426: Pull request #3787 synchronize by wadoon
1m 42s weigl/metaspace
weigl/metaspace
1m 42s
Options Panel in Load Dialog. Options in Recent Files CodeQuality #4425: Pull request #3788 synchronize by wadoon
2m 32s weigl/loadoptionpanel
weigl/loadoptionpanel
2m 32s
The Removal of Recoder (#3120) CodeQuality #4424: Commit 1031e0f pushed by github-merge-queue Bot
2m 59s main
main
2m 59s
CodeQuality CodeQuality #4423: Merge group checks requested
2m 46s
2m 46s
The Removal of Recoder CodeQuality #4422: Pull request #3120 synchronize by wadoon
2m 31s weigl/key-javaparser3
weigl/key-javaparser3
2m 31s
Add support for Annotation Processors in the Javac Extension CodeQuality #4421: Pull request #3686 synchronize by PiIsRational
2m 28s PiIsRational:javac-extension
PiIsRational:javac-extension
2m 28s
Add support for Annotation Processors in the Javac Extension CodeQuality #4420: Pull request #3686 synchronize by PiIsRational
2m 16s PiIsRational:javac-extension
PiIsRational:javac-extension
2m 16s
Prepare for KeY 2.12.4 CodeQuality #4419: Pull request #3780 synchronize by unp1
2m 27s releases/KeY-2.12.4-Release-Candidate
releases/KeY-2.12.4-Release-Candidate
2m 27s
Alternative for #3393: Fix slicing bug related to Evaluate Query (#3794) CodeQuality #4418: Commit f1abe03 pushed by github-merge-queue Bot
2m 25s main
main
2m 25s
CodeQuality CodeQuality #4417: Merge group checks requested
2m 34s
2m 34s