Skip to content

Actions: KeYProject/key

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow run results
35 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
Renovation: package.html to package-info.java (#3381) CodeQL #1967: Commit df9dc75 pushed by github-merge-queue bot
January 12, 2024 16:09 7m 9s main
main
January 12, 2024 16:09 7m 9s
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
CodeQuality CodeQuality #1972: Merge group checks requested
January 12, 2024 15:01 6m 21s
January 12, 2024 15:01 6m 21s
CodeQL CodeQL #1966: Merge group checks requested
January 12, 2024 15:01 6m 34s
January 12, 2024 15:01 6m 34s
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
Revive work on Polymorphic Sorts CodeQL #1965: Pull request #3384 opened by wadoon
January 12, 2024 10:55 6m 10s mulbrichPolymorphic
mulbrichPolymorphic
January 12, 2024 10:55 6m 10s
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
CodeQL CodeQL #1964: Scheduled
January 11, 2024 21:22 6m 35s main
main
January 11, 2024 21:22 6m 35s
Proof caching: use dependency graph to increase hit rate CodeQL #1963: Pull request #3305 synchronize by FliegendeWurst
January 11, 2024 09:54 6m 33s FliegendeWurst:caching-sliced
FliegendeWurst:caching-sliced
January 11, 2024 09:54 6m 33s
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 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
Proof caching: use dependency graph to increase hit rate CodeQL #1962: Pull request #3305 synchronize by FliegendeWurst
January 11, 2024 09:49 6m 46s FliegendeWurst:caching-sliced
FliegendeWurst:caching-sliced
January 11, 2024 09:49 6m 46s
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 CodeQL #1961: Pull request #3289 synchronize by FliegendeWurst
January 11, 2024 09:11 6m 27s FliegendeWurst:reduceSequentDraws
FliegendeWurst:reduceSequentDraws
January 11, 2024 09:11 6m 27s
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
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 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
Linearized symbolic execution in proof tree CodeQL #1960: Pull request #3237 synchronize by FliegendeWurst
January 11, 2024 08:58 6m 25s FliegendeWurst:linearTree
FliegendeWurst:linearTree
January 11, 2024 08:58 6m 25s
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
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
Bump org.slf4j:slf4j-api from 2.0.10 to 2.0.11 (#3383) CodeQL #1959: Commit 9634682 pushed by github-merge-queue bot
January 11, 2024 07:42 6m 50s main
main
January 11, 2024 07:42 6m 50s