Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
1,650 workflow runs
1,650 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Using semantic version (SemVer) scheme for KeY (#3523) CodeQuality #2688: Commit a59c293 pushed by github-merge-queue bot
October 28, 2024 16:22 8m 14s main
main
October 28, 2024 16:22 8m 14s
CodeQuality CodeQuality #2687: Merge group checks requested
October 28, 2024 15:14 8m 59s
October 28, 2024 15:14 8m 59s
Removal of Triple, and Quadruple CodeQuality #2686: Pull request #3399 synchronize by wadoon
October 25, 2024 21:51 2m 16s wadoon:weigl/recordsftw
wadoon:weigl/recordsftw
October 25, 2024 21:51 2m 16s
Using semantic version (SemVer) scheme for KeY CodeQuality #2685: Pull request #3523 synchronize by wadoon
October 25, 2024 13:26 8m 14s weigl/versionscheme
weigl/versionscheme
October 25, 2024 13:26 8m 14s
Using semantic version (SemVer) scheme for KeY CodeQuality #2684: Pull request #3523 opened by wadoon
October 25, 2024 13:26 2m 49s weigl/versionscheme
weigl/versionscheme
October 25, 2024 13:26 2m 49s
Set the Java Release Version to 21 (#3522) CodeQuality #2683: Commit 2a811b6 pushed by github-merge-queue bot
October 25, 2024 13:26 8m 28s main
main
October 25, 2024 13:26 8m 28s
CodeQuality CodeQuality #2682: Merge group checks requested
October 25, 2024 12:18 9m 50s
October 25, 2024 12:18 9m 50s
Remove version lock for JDT in spotless CodeQuality #2681: Pull request #3498 synchronize by wadoon
October 25, 2024 12:18 1m 55s weigl/spotlessjdtversion
weigl/spotlessjdtversion
October 25, 2024 12:18 1m 55s
Set the Java Release Version to 21 CodeQuality #2680: Pull request #3522 opened by wadoon
October 24, 2024 01:23 1m 58s weigl/set-java21
weigl/set-java21
October 24, 2024 01:23 1m 58s
Isabelle Translation CodeQuality #2679: Pull request #3514 synchronize by BookWood7th
October 23, 2024 13:02 1m 58s BookWood7th:main
BookWood7th:main
October 23, 2024 13:02 1m 58s
Isabelle Translation CodeQuality #2678: Pull request #3514 synchronize by BookWood7th
October 23, 2024 12:56 2m 4s BookWood7th:main
BookWood7th:main
October 23, 2024 12:56 2m 4s
Isabelle Translation CodeQuality #2677: Pull request #3514 synchronize by BookWood7th
October 23, 2024 11:40 2m 32s BookWood7th:main
BookWood7th:main
October 23, 2024 11:40 2m 32s
Isabelle Translation CodeQuality #2676: Pull request #3514 synchronize by BookWood7th
October 23, 2024 11:35 2m 5s BookWood7th:main
BookWood7th:main
October 23, 2024 11:35 2m 5s
RuleApp interface for all external solvers (prep for #3514) CodeQuality #2675: Pull request #3521 opened by BookWood7th
October 23, 2024 11:31 2m 5s BookWood7th:ExternalSolverRuleApp
BookWood7th:ExternalSolverRuleApp
October 23, 2024 11:31 2m 5s
Add conversion rules for Float/Double negation CodeQuality #2674: Pull request #3520 opened by WolframPfeifer
October 23, 2024 09:59 2m 41s pfeifer/negFloat
pfeifer/negFloat
October 23, 2024 09:59 2m 41s
fixes Location#compareTo(Location) CodeQuality #2673: Pull request #3519 opened by BookWood7th
October 21, 2024 13:09 2m 5s BookWood7th:LocationComparisonFix
BookWood7th:LocationComparisonFix
October 21, 2024 13:09 2m 5s
Create a JSON-RPC for KeY CodeQuality #2672: Pull request #3303 synchronize by wadoon
October 20, 2024 14:13 1m 8s weigl/jsonrpc
weigl/jsonrpc
October 20, 2024 14:13 1m 8s
The Removal of Recoder CodeQuality #2671: Pull request #3120 synchronize by wadoon
October 18, 2024 14:25 1m 0s weigl/key-javaparser3
weigl/key-javaparser3
October 18, 2024 14:25 1m 0s
Restoration of the formatter for KEY files CodeQuality #2670: Pull request #3494 synchronize by wadoon
October 18, 2024 14:19 1m 1s weigl/keyformat
weigl/keyformat
October 18, 2024 14:19 1m 1s
Isabelle Translation CodeQuality #2669: Pull request #3514 reopened by BookWood7th
October 17, 2024 16:59 2m 2s BookWood7th:main
BookWood7th:main
October 17, 2024 16:59 2m 2s
Isabelle Translation CodeQuality #2668: Pull request #3514 synchronize by BookWood7th
October 17, 2024 00:53 2m 0s BookWood7th:main
BookWood7th:main
October 17, 2024 00:53 2m 0s
Bump the github-actions-deps group with 2 updates (#3517) CodeQuality #2667: Commit 8e28439 pushed by github-merge-queue bot
October 14, 2024 12:23 8m 44s main
main
October 14, 2024 12:23 8m 44s
CodeQuality CodeQuality #2666: Merge group checks requested
October 14, 2024 11:15 8m 32s
October 14, 2024 11:15 8m 32s
Isabelle Translation CodeQuality #2665: Pull request #3514 synchronize by BookWood7th
October 11, 2024 10:58 1m 51s BookWood7th:main
BookWood7th:main
October 11, 2024 10:58 1m 51s
Bump the gradle-deps group with 5 updates (#3516) CodeQuality #2664: Commit 41a76db pushed by github-merge-queue bot
October 3, 2024 00:04 9m 27s main
main
October 3, 2024 00:04 9m 27s