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
Alternative for #3393: Fix slicing bug related to Evaluate Query CodeQuality #4416: Pull request #3794 opened by WolframPfeifer
2m 31s pfeifer/slicing-fix-3393-alternative
pfeifer/slicing-fix-3393-alternative
2m 31s
Prepare for KeY 2.12.4 CodeQuality #4415: Pull request #3780 synchronize by unp1
2m 27s releases/KeY-2.12.4-Release-Candidate
releases/KeY-2.12.4-Release-Candidate
2m 27s
Dependency Contract: Ignore all term labels when searching for base t… CodeQuality #4414: Commit 7aaf2ce pushed by github-merge-queue Bot
2m 24s main
main
2m 24s
CodeQuality CodeQuality #4413: Merge group checks requested
2m 31s
2m 31s
Options Panel in Load Dialog. Options in Recent Files CodeQuality #4412: Pull request #3788 synchronize by wadoon
2m 33s weigl/loadoptionpanel
weigl/loadoptionpanel
2m 33s
Options Panel in Load Dialog. Options in Recent Files CodeQuality #4411: Pull request #3788 synchronize by wadoon
2m 32s weigl/loadoptionpanel
weigl/loadoptionpanel
2m 32s
Options Panel in Load Dialog. Options in Recent Files CodeQuality #4410: Pull request #3788 synchronize by wadoon
2m 26s weigl/loadoptionpanel
weigl/loadoptionpanel
2m 26s
ProofManagement extension: Iterative NodeIntermediateWalker to avoid … CodeQuality #4409: Commit b173c75 pushed by github-merge-queue Bot
3m 1s main
main
3m 1s
CodeQuality CodeQuality #4408: Merge group checks requested
2m 56s
2m 56s
Options Panel in Load Dialog. Options in Recent Files CodeQuality #4407: Pull request #3788 synchronize by wadoon
2m 32s weigl/loadoptionpanel
weigl/loadoptionpanel
2m 32s
Fix handling of \values keyword CodeQuality #4406: Pull request #3718 synchronize by WolframPfeifer
2m 33s FliegendeWurst:fixValuesKeyword
FliegendeWurst:fixValuesKeyword
2m 33s
Dependency Contract: Ignore all term labels when searching for base term CodeQuality #4405: Pull request #3776 synchronize by WolframPfeifer
2m 18s FliegendeWurst:udc-labels
FliegendeWurst:udc-labels
2m 18s
ProofManagement extension: Iterative NodeIntermediateWalker to avoid stack overflows CodeQuality #4404: Pull request #3793 synchronize by WolframPfeifer
2m 37s pfeifer/proofMgmtIterativeWalker
pfeifer/proofMgmtIterativeWalker
2m 37s
ProofManagement extension: Iterative NodeIntermediateWalker to avoid stack overflows CodeQuality #4403: Pull request #3793 synchronize by WolframPfeifer
1m 49s pfeifer/proofMgmtIterativeWalker
pfeifer/proofMgmtIterativeWalker
1m 49s
ProofManagement extension: Iterative NodeIntermediateWalker to avoid stack overflows CodeQuality #4402: Pull request #3793 opened by WolframPfeifer
2m 33s pfeifer/proofMgmtIterativeWalker
pfeifer/proofMgmtIterativeWalker
2m 33s
Make the context menu more flexibel and type safe. (#3785) CodeQuality #4401: Commit 18c2bff pushed by github-merge-queue Bot
2m 39s main
main
2m 39s
CodeQuality CodeQuality #4400: Merge group checks requested
2m 25s
2m 25s
Make the context menu more flexibel and type safe. CodeQuality #4399: Pull request #3785 synchronize by unp1
2m 27s weigl/extcontextmenu
weigl/extcontextmenu
2m 27s
Update and fix Broad Release Tests (#3703) CodeQuality #4398: Commit a269de1 pushed by github-merge-queue Bot
2m 39s main
main
2m 39s
CodeQuality CodeQuality #4397: Merge group checks requested
2m 40s
2m 40s
Make the context menu more flexibel and type safe. CodeQuality #4396: Pull request #3785 synchronize by wadoon
2m 40s weigl/extcontextmenu
weigl/extcontextmenu
2m 40s
Make the context menu more flexibel and type safe. CodeQuality #4395: Pull request #3785 synchronize by wadoon
2m 23s weigl/extcontextmenu
weigl/extcontextmenu
2m 23s
Update and fix Broad Release Tests CodeQuality #4394: Pull request #3703 synchronize by wadoon
2m 33s weigl/broad-release-tests
weigl/broad-release-tests
2m 33s
Prereleases/ke y 3.0.0 jp rc CodeQuality #4393: Pull request #3781 synchronize by wadoon
2m 26s prereleases/KeY-3.0.0-JP-rc
prereleases/KeY-3.0.0-JP-rc
2m 26s
MetaSpace for documentation and origin CodeQuality #4392: Pull request #3787 synchronize by wadoon
2m 34s weigl/metaspace
weigl/metaspace
2m 34s