Skip to content

Actions: KeYProject/key

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tests.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) Tests #1918: Commit df9dc75 pushed by github-merge-queue bot
January 12, 2024 16:09 1h 4m 14s main
main
January 12, 2024 16:09 1h 4m 14s
Tests Tests #1917: Merge group checks requested
January 12, 2024 15:01 1h 7m 34s
January 12, 2024 15:01 1h 7m 34s
Revive work on Polymorphic Sorts Tests #1916: Pull request #3384 opened by wadoon
January 12, 2024 10:55 1h 3m 47s mulbrichPolymorphic
mulbrichPolymorphic
January 12, 2024 10:55 1h 3m 47s
Proof caching: use dependency graph to increase hit rate Tests #1915: Pull request #3305 synchronize by FliegendeWurst
January 11, 2024 09:54 1h 3m 19s FliegendeWurst:caching-sliced
FliegendeWurst:caching-sliced
January 11, 2024 09:54 1h 3m 19s
Proof caching: use dependency graph to increase hit rate Tests #1914: Pull request #3305 synchronize by FliegendeWurst
January 11, 2024 09:49 1h 3m 21s FliegendeWurst:caching-sliced
FliegendeWurst:caching-sliced
January 11, 2024 09:49 1h 3m 21s
UI: reduce number of redundant sequent draws Tests #1913: Pull request #3289 synchronize by FliegendeWurst
January 11, 2024 09:11 1h 5m 30s FliegendeWurst:reduceSequentDraws
FliegendeWurst:reduceSequentDraws
January 11, 2024 09:11 1h 5m 30s
Linearized symbolic execution in proof tree Tests #1912: Pull request #3237 synchronize by FliegendeWurst
January 11, 2024 08:58 1h 4m 23s FliegendeWurst:linearTree
FliegendeWurst:linearTree
January 11, 2024 08:58 1h 4m 23s
Bump org.slf4j:slf4j-api from 2.0.10 to 2.0.11 (#3383) Tests #1911: Commit 9634682 pushed by github-merge-queue bot
January 11, 2024 07:42 1h 4m 0s main
main
January 11, 2024 07:42 1h 4m 0s
Tests Tests #1910: Merge group checks requested
January 11, 2024 06:37 1h 4m 24s
January 11, 2024 06:37 1h 4m 24s
Bump org.slf4j:slf4j-api from 2.0.10 to 2.0.11 Tests #1909: Pull request #3383 opened by dependabot bot
January 8, 2024 20:52 1h 3m 13s dependabot/gradle/org.slf4j-slf4j-api-2.0.11
dependabot/gradle/org.slf4j-slf4j-api-2.0.11
January 8, 2024 20:52 1h 3m 13s