Skip to content

Actions: KeYProject/key

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tests.yml
1,105 workflow runs
1,105 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add help buttons to extension settings Tests #1705: Pull request #3348 opened by FliegendeWurst
November 12, 2023 17:00 1h 30m 35s FliegendeWurst:ext-help
FliegendeWurst:ext-help
November 12, 2023 17:00 1h 30m 35s
Proof reordering (WIP) Tests #1704: Pull request #3141 synchronize by FliegendeWurst
November 12, 2023 16:10 1h 54m 39s FliegendeWurst:proofReordering
FliegendeWurst:proofReordering
November 12, 2023 16:10 1h 54m 39s
CI: make codecov checks non-failing Tests #1703: Pull request #3346 opened by FliegendeWurst
November 12, 2023 15:14 1h 7m 40s FliegendeWurst:codecov-informational
FliegendeWurst:codecov-informational
November 12, 2023 15:14 1h 7m 40s
UI: reduce number of redundant sequent draws Tests #1702: Pull request #3289 synchronize by FliegendeWurst
November 12, 2023 15:06 1h 6m 57s FliegendeWurst:reduceSequentDraws
FliegendeWurst:reduceSequentDraws
November 12, 2023 15:06 1h 6m 57s
Proof caching: use dependency graph to increase hit rate Tests #1701: Pull request #3305 synchronize by FliegendeWurst
November 12, 2023 14:52 1h 54m 18s FliegendeWurst:caching-sliced
FliegendeWurst:caching-sliced
November 12, 2023 14:52 1h 54m 18s
Show notification after running macro Tests #1700: Pull request #3269 synchronize by FliegendeWurst
November 11, 2023 11:26 1h 37m 51s FliegendeWurst:notification
FliegendeWurst:notification
November 11, 2023 11:26 1h 37m 51s
Proof reordering (WIP) Tests #1699: Pull request #3141 synchronize by FliegendeWurst
November 11, 2023 11:19 1h 38m 5s FliegendeWurst:proofReordering
FliegendeWurst:proofReordering
November 11, 2023 11:19 1h 38m 5s
KeY 2.12.2 Summary PR Tests #1698: Pull request #3328 synchronize by unp1
November 10, 2023 15:45 1h 12m 1s KeY-2.12.2-PR
KeY-2.12.2-PR
November 10, 2023 15:45 1h 12m 1s
Improve thread-safety of KeY Tests #1697: Pull request #3335 synchronize by unp1
November 10, 2023 14:48 1h 36m 26s concurrentEngine
concurrentEngine
November 10, 2023 14:48 1h 36m 26s
suggesting a pull-request-template. Tests #1696: Pull request #3018 synchronize by WolframPfeifer
November 10, 2023 12:08 1m 22s mu/pullRequestTemplate
mu/pullRequestTemplate
November 10, 2023 12:08 1m 22s
Minor refactoring of Proof to reduce dependencies (for instance to MergeRule) Tests #1695: Pull request #3345 synchronize by unp1
November 10, 2023 12:07 2h 3m 48s proofObjectCleanup
proofObjectCleanup
November 10, 2023 12:07 2h 3m 48s
suggesting a pull-request-template. Tests #1694: Pull request #3018 synchronize by WolframPfeifer
November 10, 2023 12:03 5m 48s mu/pullRequestTemplate
mu/pullRequestTemplate
November 10, 2023 12:03 5m 48s
suggesting a pull-request-template. Tests #1693: Pull request #3018 synchronize by WolframPfeifer
November 10, 2023 12:03 6m 31s mu/pullRequestTemplate
mu/pullRequestTemplate
November 10, 2023 12:03 6m 31s
suggesting a pull-request-template. Tests #1692: Pull request #3018 synchronize by WolframPfeifer
November 10, 2023 12:01 8m 37s mu/pullRequestTemplate
mu/pullRequestTemplate
November 10, 2023 12:01 8m 37s
suggesting a pull-request-template. Tests #1691: Pull request #3018 synchronize by WolframPfeifer
November 10, 2023 12:00 9m 39s mu/pullRequestTemplate
mu/pullRequestTemplate
November 10, 2023 12:00 9m 39s
Improves KeYSelectionModel usage and removed RuleAppListener from Pro… Tests #1690: Commit ae6efac pushed by github-merge-queue bot
November 10, 2023 11:59 1h 7m 23s main
main
November 10, 2023 11:59 1h 7m 23s
Tests Tests #1689: Merge group checks requested
November 10, 2023 10:26 1h 32m 17s
November 10, 2023 10:26 1h 32m 17s
Minor refactoring of Proof to reduce dependencies (for instance to MergeRule) Tests #1688: Pull request #3345 opened by unp1
November 10, 2023 09:56 1h 6m 59s proofObjectCleanup
proofObjectCleanup
November 10, 2023 09:56 1h 6m 59s
Improves KeYSelectionModel usage and removed RuleAppListener from ProofTreeView Tests #1687: Pull request #3341 synchronize by unp1
November 10, 2023 09:19 1h 6m 50s selectionModelFixes
selectionModelFixes
November 10, 2023 09:19 1h 6m 50s
Improves KeYSelectionModel usage and removed RuleAppListener from ProofTreeView Tests #1686: Pull request #3341 synchronize by unp1
November 10, 2023 09:11 8m 22s selectionModelFixes
selectionModelFixes
November 10, 2023 09:11 8m 22s
Fix consistency of proof status and tasktree icon (#3344) Tests #1685: Commit 295186f pushed by github-merge-queue bot
November 10, 2023 09:05 2h 2m 42s main
main
November 10, 2023 09:05 2h 2m 42s
Improves KeYSelectionModel usage and removed RuleAppListener from ProofTreeView Tests #1684: Pull request #3341 synchronize by unp1
November 10, 2023 08:52 20m 1s selectionModelFixes
selectionModelFixes
November 10, 2023 08:52 20m 1s
Fix stuck CounterExample Dialog (#3343) Tests #1683: Commit c1704df pushed by github-merge-queue bot
November 10, 2023 08:33 1h 6m 46s main
main
November 10, 2023 08:33 1h 6m 46s
Improves KeYSelectionModel usage and removed RuleAppListener from ProofTreeView Tests #1682: Pull request #3341 synchronize by unp1
November 10, 2023 08:06 48m 35s selectionModelFixes
selectionModelFixes
November 10, 2023 08:06 48m 35s
Improves KeYSelectionModel usage and removed RuleAppListener from ProofTreeView Tests #1681: Pull request #3341 synchronize by unp1
November 10, 2023 08:06 1m 14s selectionModelFixes
selectionModelFixes
November 10, 2023 08:06 1m 14s
ProTip! You can narrow down the results and go further in time using created:<2023-11-10 or the other filters available.