Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
10 workflow run results
10 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Renovation: package.html to package-info.java (#3381) CodeQuality #1973: Commit df9dc75 pushed by github-merge-queue bot
January 12, 2024 16:09 6m 22s main
main
January 12, 2024 16:09 6m 22s
CodeQuality CodeQuality #1972: Merge group checks requested
January 12, 2024 15:01 6m 21s
January 12, 2024 15:01 6m 21s
Revive work on Polymorphic Sorts CodeQuality #1971: Pull request #3384 opened by wadoon
January 12, 2024 10:55 2m 57s mulbrichPolymorphic
mulbrichPolymorphic
January 12, 2024 10:55 2m 57s
Proof caching: use dependency graph to increase hit rate CodeQuality #1970: Pull request #3305 synchronize by FliegendeWurst
January 11, 2024 09:54 3m 55s FliegendeWurst:caching-sliced
FliegendeWurst:caching-sliced
January 11, 2024 09:54 3m 55s
Proof caching: use dependency graph to increase hit rate CodeQuality #1969: Pull request #3305 synchronize by FliegendeWurst
January 11, 2024 09:49 3m 45s FliegendeWurst:caching-sliced
FliegendeWurst:caching-sliced
January 11, 2024 09:49 3m 45s
UI: reduce number of redundant sequent draws CodeQuality #1968: Pull request #3289 synchronize by FliegendeWurst
January 11, 2024 09:11 2m 55s FliegendeWurst:reduceSequentDraws
FliegendeWurst:reduceSequentDraws
January 11, 2024 09:11 2m 55s
Linearized symbolic execution in proof tree CodeQuality #1967: Pull request #3237 synchronize by FliegendeWurst
January 11, 2024 08:58 2m 58s FliegendeWurst:linearTree
FliegendeWurst:linearTree
January 11, 2024 08:58 2m 58s
Bump org.slf4j:slf4j-api from 2.0.10 to 2.0.11 (#3383) CodeQuality #1966: Commit 9634682 pushed by github-merge-queue bot
January 11, 2024 07:42 6m 49s main
main
January 11, 2024 07:42 6m 49s
CodeQuality CodeQuality #1965: Merge group checks requested
January 11, 2024 06:37 7m 22s
January 11, 2024 06:37 7m 22s
Bump org.slf4j:slf4j-api from 2.0.10 to 2.0.11 CodeQuality #1964: Pull request #3383 opened by dependabot bot
January 8, 2024 20:52 3m 26s dependabot/gradle/org.slf4j-slf4j-api-2.0.11
dependabot/gradle/org.slf4j-slf4j-api-2.0.11
January 8, 2024 20:52 3m 26s