Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Generalizing Logic Data Structures CodeQuality #1998: Pull request #3357 synchronize by Drodt
January 30, 2024 07:14 6m 47s Drodt:extract-new-core
Drodt:extract-new-core
January 30, 2024 07:14 6m 47s
Bump com.diffplug.spotless from 6.24.0 to 6.25.0 CodeQuality #1997: Pull request #3390 opened by dependabot bot
January 29, 2024 20:57 3m 13s dependabot/gradle/com.diffplug.spotless-6.25.0
dependabot/gradle/com.diffplug.spotless-6.25.0
January 29, 2024 20:57 3m 13s
Proof caching: use dependency graph to increase hit rate CodeQuality #1996: Pull request #3305 synchronize by FliegendeWurst
January 29, 2024 12:07 3m 39s FliegendeWurst:caching-sliced
FliegendeWurst:caching-sliced
January 29, 2024 12:07 3m 39s
Generalizing Logic Data Structures CodeQuality #1995: Pull request #3357 synchronize by Drodt
January 29, 2024 10:10 7m 3s Drodt:extract-new-core
Drodt:extract-new-core
January 29, 2024 10:10 7m 3s
Generalizing Logic Data Structures CodeQuality #1994: Pull request #3357 synchronize by Drodt
January 29, 2024 09:56 6m 45s Drodt:extract-new-core
Drodt:extract-new-core
January 29, 2024 09:56 6m 45s
Generalizing Logic Data Structures CodeQuality #1993: Pull request #3357 synchronize by Drodt
January 29, 2024 09:55 1m 20s Drodt:extract-new-core
Drodt:extract-new-core
January 29, 2024 09:55 1m 20s
One Step Simplifier: optimizations (no new rules) CodeQuality #1992: Pull request #3280 synchronize by FliegendeWurst
January 25, 2024 11:03 2m 53s FliegendeWurst:ossOptimizeNoNewRules
FliegendeWurst:ossOptimizeNoNewRules
January 25, 2024 11:03 2m 53s
One Step Simplifier: optimizations (no new rules) CodeQuality #1991: Pull request #3280 synchronize by FliegendeWurst
January 25, 2024 10:37 3m 0s FliegendeWurst:ossOptimizeNoNewRules
FliegendeWurst:ossOptimizeNoNewRules
January 25, 2024 10:37 3m 0s
Proof caching: use dependency graph to increase hit rate CodeQuality #1990: Pull request #3305 synchronize by FliegendeWurst
January 25, 2024 09:44 3m 58s FliegendeWurst:caching-sliced
FliegendeWurst:caching-sliced
January 25, 2024 09:44 3m 58s
Combine equalsMod... methods CodeQuality #1989: Pull request #3386 synchronize by tobias-rnh
January 21, 2024 12:05 4m 15s tobias-rnh:combine-equals-methods
tobias-rnh:combine-equals-methods
January 21, 2024 12:05 4m 15s
Bump com.diffplug.spotless from 6.23.3 to 6.24.0 (#3387) CodeQuality #1988: Commit 5b08998 pushed by github-merge-queue bot
January 19, 2024 01:07 7m 16s main
main
January 19, 2024 01:07 7m 16s
CodeQuality CodeQuality #1987: Merge group checks requested
January 19, 2024 00:03 6m 56s
January 19, 2024 00:03 6m 56s
Renovation of the TestCase generation CodeQuality #1986: Pull request #3388 opened by wadoon
January 19, 2024 00:00 3m 39s weigl/testgen
weigl/testgen
January 19, 2024 00:00 3m 39s
Proof caching: use dependency graph to increase hit rate CodeQuality #1985: Pull request #3305 synchronize by FliegendeWurst
January 18, 2024 15:15 3m 32s FliegendeWurst:caching-sliced
FliegendeWurst:caching-sliced
January 18, 2024 15:15 3m 32s
Proof caching: use dependency graph to increase hit rate CodeQuality #1984: Pull request #3305 synchronize by FliegendeWurst
January 18, 2024 15:13 3m 44s FliegendeWurst:caching-sliced
FliegendeWurst:caching-sliced
January 18, 2024 15:13 3m 44s
Proof caching: external database CodeQuality #1983: Pull request #3265 synchronize by FliegendeWurst
January 18, 2024 10:22 3m 6s FliegendeWurst:proofCachingDatabase
FliegendeWurst:proofCachingDatabase
January 18, 2024 10:22 3m 6s
Proof caching: use dependency graph to increase hit rate CodeQuality #1982: Pull request #3305 synchronize by FliegendeWurst
January 18, 2024 10:18 4m 25s FliegendeWurst:caching-sliced
FliegendeWurst:caching-sliced
January 18, 2024 10:18 4m 25s
Proof caching: use dependency graph to increase hit rate CodeQuality #1981: Pull request #3305 synchronize by FliegendeWurst
January 16, 2024 09:51 3m 36s FliegendeWurst:caching-sliced
FliegendeWurst:caching-sliced
January 16, 2024 09:51 3m 36s
Bump com.diffplug.spotless from 6.23.3 to 6.24.0 CodeQuality #1980: Pull request #3387 opened by dependabot bot
January 15, 2024 20:47 3m 37s dependabot/gradle/com.diffplug.spotless-6.24.0
dependabot/gradle/com.diffplug.spotless-6.24.0
January 15, 2024 20:47 3m 37s
Proof caching: use dependency graph to increase hit rate CodeQuality #1979: Pull request #3305 synchronize by FliegendeWurst
January 15, 2024 09:09 3m 49s FliegendeWurst:caching-sliced
FliegendeWurst:caching-sliced
January 15, 2024 09:09 3m 49s
Combine equalsMod... methods CodeQuality #1978: Pull request #3386 opened by tobias-rnh
January 14, 2024 20:20 3m 38s tobias-rnh:combine-equals-methods
tobias-rnh:combine-equals-methods
January 14, 2024 20:20 3m 38s
Set statement: Check assignee for validity CodeQuality #1977: Pull request #3195 synchronize by mattulbrich
January 13, 2024 16:07 3m 43s setStatement
setStatement
January 13, 2024 16:07 3m 43s
Revive work on Polymorphic Sorts CodeQuality #1976: Pull request #3384 synchronize by wadoon
January 13, 2024 15:13 2m 54s mulbrichPolymorphic
mulbrichPolymorphic
January 13, 2024 15:13 2m 54s
Introducing a new function symbol seqUpd CodeQuality #1975: Pull request #3385 synchronize by mattulbrich
January 13, 2024 14:27 3m 22s mattulbrich:seqUpd
mattulbrich:seqUpd
January 13, 2024 14:27 3m 22s
Introducing a new function symbol seqUpd CodeQuality #1974: Pull request #3385 opened by mattulbrich
January 13, 2024 14:22 3m 12s mattulbrich:seqUpd
mattulbrich:seqUpd
January 13, 2024 14:22 3m 12s
ProTip! You can narrow down the results and go further in time using created:<2024-01-13 or the other filters available.