Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
2,008 workflow runs
2,008 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
CodeQuality CodeQuality #5414: Merge group checks requested
2m 33s
2m 33s
Fix performance regression in case of many inequalities CodeQuality #5413: Pull request #3948 synchronize by unp1
2m 32s bubel/fix-multcross-regression
bubel/fix-multcross-regression
2m 32s
Fix performance regression in case of many inequalities CodeQuality #5412: Pull request #3948 synchronize by unp1
2m 38s bubel/fix-multcross-regression
bubel/fix-multcross-regression
2m 38s
Automatically Generate EQ Taclets CodeQuality #5411: Pull request #3949 synchronize by Drodt
2m 37s generateEQ
generateEQ
2m 37s
Automatically Generate EQ Taclets CodeQuality #5410: Pull request #3949 synchronize by Drodt
2m 44s generateEQ
generateEQ
2m 44s
Automatically Generate EQ Taclets CodeQuality #5409: Pull request #3949 synchronize by Drodt
2m 32s generateEQ
generateEQ
2m 32s
Automatically Generate EQ Taclets CodeQuality #5408: Pull request #3949 synchronize by Drodt
2m 43s generateEQ
generateEQ
2m 43s
Automatically Generate EQ Taclets CodeQuality #5407: Pull request #3949 synchronize by Drodt
2m 33s generateEQ
generateEQ
2m 33s
Fix performance regression in case of many inequalities CodeQuality #5406: Pull request #3948 synchronize by unp1
2m 31s bubel/fix-multcross-regression
bubel/fix-multcross-regression
2m 31s
Fix performance regression in case of many inequalities CodeQuality #5405: Pull request #3948 synchronize by unp1
2m 30s bubel/fix-multcross-regression
bubel/fix-multcross-regression
2m 30s
Fix performance regression in case of many inequalities CodeQuality #5404: Pull request #3948 synchronize by unp1
2m 36s bubel/fix-multcross-regression
bubel/fix-multcross-regression
2m 36s
Automatically Generate EQ Taclets CodeQuality #5403: Pull request #3949 synchronize by Drodt
1m 55s generateEQ
generateEQ
1m 55s
Automatically Generate EQ Taclets CodeQuality #5402: Pull request #3949 synchronize by Drodt
2m 37s generateEQ
generateEQ
2m 37s
Automatically Generate EQ Taclets CodeQuality #5401: Pull request #3949 synchronize by Drodt
2m 47s generateEQ
generateEQ
2m 47s
Fix performance regression in case of many inequalities CodeQuality #5400: Pull request #3948 synchronize by unp1
2m 36s bubel/fix-multcross-regression
bubel/fix-multcross-regression
2m 36s
Fix wellFormedEQ* taclets and some improvements for large heaps (#3945) CodeQuality #5399: Commit e92bde2 pushed by github-merge-queue Bot
2m 44s main
main
2m 44s
Fix for ImmutableList.take(int) (#3947) CodeQuality #5398: Commit e4a4902 pushed by github-merge-queue Bot
2m 35s main
main
2m 35s
CodeQuality CodeQuality #5397: Merge group checks requested
1m 58s
1m 58s
CodeQuality CodeQuality #5396: Merge group checks requested
2m 1s
2m 1s
Fix performance regression in case of many inequalities CodeQuality #5395: Pull request #3948 synchronize by unp1
2m 19s bubel/fix-multcross-regression
bubel/fix-multcross-regression
2m 19s
Fix performance regression in case of many inequalities CodeQuality #5394: Pull request #3948 opened by unp1
2m 34s bubel/fix-multcross-regression
bubel/fix-multcross-regression
2m 34s
Fix for ImmutableList.take(int) CodeQuality #5393: Pull request #3947 opened by unp1
2m 40s fixImmList
fixImmList
2m 40s
Forgotten commit from 3.0 release (#3946) CodeQuality #5392: Commit 35446b7 pushed by github-merge-queue Bot
2m 43s main
main
2m 43s
CodeQuality CodeQuality #5391: Merge group checks requested
2m 26s
2m 26s
Forgotten commit from 3.0 release CodeQuality #5390: Pull request #3946 opened by WolframPfeifer
2m 31s pfeifer/prooftreeNodeBorder
pfeifer/prooftreeNodeBorder
2m 31s