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 (#3556) Tests #2854: Commit 824af63 pushed by github-merge-queue bot
February 20, 2025 22:00 1h 7m 51s main
main
February 20, 2025 22:00 1h 7m 51s
Tests Tests #2853: Merge group checks requested
February 20, 2025 21:10 1h 7m 48s
February 20, 2025 21:10 1h 7m 48s
Tests Tests #2852: Merge group checks requested
February 20, 2025 20:53 1h 7m 7s
February 20, 2025 20:53 1h 7m 7s
Cleanup: Removal of the write and read settings using Properties Tests #2851: Pull request #3549 synchronize by wadoon
February 20, 2025 20:51 16m 27s weigl/cleanup/settings
weigl/cleanup/settings
February 20, 2025 20:51 16m 27s
Cleanup: Making the build script fit for the future. Tests #2850: Pull request #3552 synchronize by wadoon
February 20, 2025 20:49 1m 25s weigl/cleanup/gradle
weigl/cleanup/gradle
February 20, 2025 20:49 1m 25s
Cleanup: Making the build script fit for the future. Tests #2849: Pull request #3552 synchronize by wadoon
February 20, 2025 20:43 1m 29s weigl/cleanup/gradle
weigl/cleanup/gradle
February 20, 2025 20:43 1m 29s
Fix #3563 Tests #2848: Pull request #3566 synchronize by mattulbrich
February 20, 2025 18:03 24m 13s fix-3563
fix-3563
February 20, 2025 18:03 24m 13s
Nullness Type System for key.core Tests #2847: Pull request #3470 synchronize by as2-0
February 20, 2025 13:37 9m 22s eisop/keycore2
eisop/keycore2
February 20, 2025 13:37 9m 22s
Nullness Type System for key.core Tests #2846: Pull request #3470 synchronize by lks9
February 20, 2025 13:25 19m 5s eisop/keycore2
eisop/keycore2
February 20, 2025 13:25 19m 5s
Fix line number alignment in SMT interface Tests #2845: Pull request #3559 synchronize by BookWood7th
February 20, 2025 13:23 1h 16m 8s WolframPfeifer:SMT_lineNumbers
WolframPfeifer:SMT_lineNumbers
February 20, 2025 13:23 1h 16m 8s
Improve the SMT translation by translating axiom taclets (mostly for invariants) Tests #2844: Pull request #3564 synchronize by WolframPfeifer
February 20, 2025 13:19 1h 7m 16s WolframPfeifer:hackeythonSMT
WolframPfeifer:hackeythonSMT
February 20, 2025 13:19 1h 7m 16s
Fix #3563 Tests #2843: Pull request #3566 opened by Drodt
February 20, 2025 13:16 1h 7m 38s fix-3563
fix-3563
February 20, 2025 13:16 1h 7m 38s
Adding a rule for exactInstance of final types. (fixes #3389) Tests #2842: Pull request #3543 synchronize by mattulbrich
February 20, 2025 13:16 26m 5s mattulbrich:fix3389
mattulbrich:fix3389
February 20, 2025 13:16 26m 5s
Add a stricter dependency contract proof obligation Tests #2841: Pull request #3565 opened by frereit
February 20, 2025 12:59 1h 3m 30s strict-dep-po
strict-dep-po
February 20, 2025 12:59 1h 3m 30s
Fix line number alignment in SMT interface Tests #2840: Pull request #3559 synchronize by WolframPfeifer
February 20, 2025 12:42 1h 7m 12s WolframPfeifer:SMT_lineNumbers
WolframPfeifer:SMT_lineNumbers
February 20, 2025 12:42 1h 7m 12s
Improve the SMT translation by translating axiom taclets (mostly for invariants) Tests #2839: Pull request #3564 opened by WolframPfeifer
February 20, 2025 12:34 1h 4m 51s WolframPfeifer:hackeythonSMT
WolframPfeifer:hackeythonSMT
February 20, 2025 12:34 1h 4m 51s
Fix/Improve KeY example application Tests #2838: Pull request #3562 synchronize by samysweb
February 20, 2025 10:07 1h 8m 23s steuber/exampleLogging
steuber/exampleLogging
February 20, 2025 10:07 1h 8m 23s
Fix/Improve KeY example application Tests #2837: Pull request #3562 opened by samysweb
February 20, 2025 10:05 1h 7m 28s steuber/exampleLogging
steuber/exampleLogging
February 20, 2025 10:05 1h 7m 28s
Nullness Type System for key.core Tests #2836: Pull request #3470 synchronize by lks9
February 20, 2025 09:57 3m 22s eisop/keycore2
eisop/keycore2
February 20, 2025 09:57 3m 22s
Nullness Type System for key.core Tests #2835: Pull request #3470 synchronize by as2-0
February 20, 2025 09:43 3m 0s eisop/keycore2
eisop/keycore2
February 20, 2025 09:43 3m 0s
fix #3553 Tests #2834: Pull request #3560 synchronize by MarcoScaletta
February 20, 2025 09:33 1h 7m 32s MarcoScaletta:main
MarcoScaletta:main
February 20, 2025 09:33 1h 7m 32s
fix #3553 Tests #2833: Pull request #3560 synchronize by MarcoScaletta
February 20, 2025 09:03 1h 7m 43s MarcoScaletta:main
MarcoScaletta:main
February 20, 2025 09:03 1h 7m 43s
Nullness Type System for key.core Tests #2832: Pull request #3470 synchronize by lks9
February 20, 2025 08:54 3m 10s eisop/keycore2
eisop/keycore2
February 20, 2025 08:54 3m 10s
Adding a rule for exactInstance of final types. (fixes #3389) Tests #2831: Pull request #3543 synchronize by mattulbrich
February 20, 2025 08:33 1h 7m 9s mattulbrich:fix3389
mattulbrich:fix3389
February 20, 2025 08:33 1h 7m 9s
Remove spin lock in waitWhileAutoMode. Tests #2830: Pull request #3356 synchronize by wadoon
February 19, 2025 20:50 31m 33s weigl/spinlock
weigl/spinlock
February 19, 2025 20:50 31m 33s