Skip to content

Actions: KeYProject/key

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

repair the axiom generation for adts defined in JavaDL Tests #2829: Pull request #3556 synchronize by wadoon
February 19, 2025 20:39 1h 7m 18s mattulbrich:adtAxiomRepair
mattulbrich:adtAxiomRepair
February 19, 2025 20:39 1h 7m 18s
Cleanup: Use Standard Tech for Test Fixtures Tests #2828: Pull request #3551 synchronize by wadoon
February 19, 2025 20:22 1h 7m 18s weigl/cleanup/yamlfixtures
weigl/cleanup/yamlfixtures
February 19, 2025 20:22 1h 7m 18s
Cleanup: Removal of the write and read settings using Properties Tests #2827: Pull request #3549 synchronize by wadoon
February 19, 2025 20:01 15m 53s weigl/cleanup/settings
weigl/cleanup/settings
February 19, 2025 20:01 15m 53s
Added BoyerMoore.key (#3558) Tests #2826: Commit 51cf67e pushed by github-merge-queue bot
February 19, 2025 18:53 1h 7m 35s main
main
February 19, 2025 18:53 1h 7m 35s
Tests Tests #2825: Merge group checks requested
February 19, 2025 17:44 1h 8m 24s
February 19, 2025 17:44 1h 8m 24s
Cleanup: Removal of the write and read settings using Properties Tests #2824: Pull request #3549 synchronize by wadoon
February 19, 2025 16:40 18m 1s weigl/cleanup/settings
weigl/cleanup/settings
February 19, 2025 16:40 18m 1s
Adding a rule for exactInstance of final types. (fixes #3389) Tests #2823: Pull request #3543 synchronize by mattulbrich
February 19, 2025 16:22 1h 10m 42s mattulbrich:fix3389
mattulbrich:fix3389
February 19, 2025 16:22 1h 10m 42s
fix #3553 Tests #2822: Pull request #3560 opened by MarcoScaletta
February 19, 2025 16:21 1h 6m 58s MarcoScaletta:main
MarcoScaletta:main
February 19, 2025 16:21 1h 6m 58s
Fix line number alignment in SMT interface Tests #2821: Pull request #3559 opened by BookWood7th
February 19, 2025 16:14 1h 8m 1s WolframPfeifer:SMT_lineNumbers
WolframPfeifer:SMT_lineNumbers
February 19, 2025 16:14 1h 8m 1s
Added BoyerMoore.key Tests #2820: Pull request #3558 opened by TudorBalan
February 19, 2025 16:05 1h 8m 9s TudorBalan:main
TudorBalan:main
February 19, 2025 16:05 1h 8m 9s
Adding a rule for exactInstance of final types. (fixes #3389) Tests #2819: Pull request #3543 synchronize by mattulbrich
February 19, 2025 16:00 1h 8m 44s mattulbrich:fix3389
mattulbrich:fix3389
February 19, 2025 16:00 1h 8m 44s
Adding a rule for exactInstance of final types. (fixes #3389) Tests #2818: Pull request #3543 synchronize by mattulbrich
February 19, 2025 15:58 1h 7m 29s mattulbrich:fix3389
mattulbrich:fix3389
February 19, 2025 15:58 1h 7m 29s
Nullness Type System for key.core Tests #2817: Pull request #3470 synchronize by as2-0
February 19, 2025 15:42 3m 26s eisop/keycore2
eisop/keycore2
February 19, 2025 15:42 3m 26s
repair the axiom generation for adts defined in JavaDL Tests #2816: Pull request #3556 opened by mattulbrich
February 19, 2025 15:26 1h 7m 36s mattulbrich:adtAxiomRepair
mattulbrich:adtAxiomRepair
February 19, 2025 15:26 1h 7m 36s
Nullness Type System for key.core Tests #2815: Pull request #3470 synchronize by flo2702
February 19, 2025 14:55 3m 30s eisop/keycore2
eisop/keycore2
February 19, 2025 14:55 3m 30s
Nullness Type System for key.core Tests #2814: Pull request #3470 synchronize by flo2702
February 19, 2025 11:06 9m 14s eisop/keycore2
eisop/keycore2
February 19, 2025 11:06 9m 14s
Nullness Type System for key.core Tests #2813: Pull request #3470 synchronize by flo2702
February 19, 2025 09:46 8m 59s eisop/keycore2
eisop/keycore2
February 19, 2025 09:46 8m 59s
Adding a rule for exactInstance of final types. (fixes #3389) Tests #2812: Pull request #3543 synchronize by mattulbrich
February 17, 2025 18:11 1h 6m 42s mattulbrich:fix3389
mattulbrich:fix3389
February 17, 2025 18:11 1h 6m 42s
Cleanup: Making the build script fit for the future. Tests #2811: Pull request #3552 opened by wadoon
February 15, 2025 01:15 1m 12s weigl/cleanup/gradle
weigl/cleanup/gradle
February 15, 2025 01:15 1m 12s
Cleanup: Use Standard Tech for Test Fixtures Tests #2810: Pull request #3551 opened by wadoon
February 15, 2025 01:05 1h 8m 24s weigl/cleanup/yamlfixtures
weigl/cleanup/yamlfixtures
February 15, 2025 01:05 1h 8m 24s
Cleanup: Removal of key.api package Tests #2809: Pull request #3550 opened by wadoon
February 15, 2025 00:51 1h 7m 19s weigl/cleanup/keyapi
weigl/cleanup/keyapi
February 15, 2025 00:51 1h 7m 19s
Cleanup: Removal of the write and read settings using Properties Tests #2808: Pull request #3549 synchronize by wadoon
February 15, 2025 00:46 4m 0s weigl/cleanup/settings
weigl/cleanup/settings
February 15, 2025 00:46 4m 0s
Cleanup: Removal of the write and read settings using Properties Tests #2807: Pull request #3549 opened by wadoon
February 15, 2025 00:35 4m 27s weigl/cleanup/settings
weigl/cleanup/settings
February 15, 2025 00:35 4m 27s
Running SMT solvers without type hierarchy encoding Tests #2806: Pull request #3548 opened by WolframPfeifer
February 14, 2025 17:40 8m 54s WolframPfeifer:hackeythonSMTtypeHierarchy
WolframPfeifer:hackeythonSMTtypeHierarchy
February 14, 2025 17:40 8m 54s
Isabelle Translation Tests #2805: Pull request #3514 synchronize by BookWood7th
February 12, 2025 22:54 1h 8m 43s BookWood7th:main
BookWood7th:main
February 12, 2025 22:54 1h 8m 43s