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

Improved treatment of final fields Tests #2879: Pull request #3495 synchronize by mattulbrich
February 23, 2025 19:36 1h 7m 14s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 23, 2025 19:36 1h 7m 14s
Restoration of the formatter for KEY files Tests #2878: Pull request #3494 synchronize by mattulbrich
February 23, 2025 18:51 8m 25s weigl/keyformat
weigl/keyformat
February 23, 2025 18:51 8m 25s
Use a custom Github action for setting up the SMT solvers Tests #2877: Pull request #3569 synchronize by wadoon
February 23, 2025 18:48 1h 7m 0s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 23, 2025 18:48 1h 7m 0s
Use a custom Github action for setting up the SMT solvers Tests #2876: Pull request #3569 synchronize by wadoon
February 23, 2025 18:08 1h 7m 31s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 23, 2025 18:08 1h 7m 31s
Use a custom Github action for setting up the SMT solvers Tests #2875: Pull request #3569 synchronize by wadoon
February 23, 2025 18:02 1h 8m 19s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 23, 2025 18:02 1h 8m 19s
Use a custom Github action for setting up the SMT solvers Tests #2874: Pull request #3569 synchronize by wadoon
February 23, 2025 17:56 1h 7m 5s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 23, 2025 17:56 1h 7m 5s
Use a custom Github action for setting up the SMT solvers Tests #2873: Pull request #3569 opened by wadoon
February 23, 2025 17:53 1h 6m 33s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 23, 2025 17:53 1h 6m 33s
Improved treatment of final fields Tests #2872: Pull request #3495 synchronize by mattulbrich
February 23, 2025 15:31 1m 57s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 23, 2025 15:31 1m 57s
Improved treatment of final fields Tests #2871: Pull request #3495 synchronize by mattulbrich
February 22, 2025 14:27 33m 14s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 22, 2025 14:27 33m 14s
Improved treatment of final fields Tests #2870: Pull request #3495 synchronize by mattulbrich
February 22, 2025 13:33 1h 6m 31s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 22, 2025 13:33 1h 6m 31s
Improved treatment of final fields Tests #2869: Pull request #3495 synchronize by mattulbrich
February 22, 2025 13:18 30m 20s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 22, 2025 13:18 30m 20s
Improved treatment of final fields Tests #2868: Pull request #3495 synchronize by mattulbrich
February 22, 2025 13:17 29m 43s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 22, 2025 13:17 29m 43s
Fix #3563 (#3566) Tests #2867: Commit dfc5b50 pushed by github-merge-queue bot
February 22, 2025 12:43 1h 7m 24s main
main
February 22, 2025 12:43 1h 7m 24s
Tests Tests #2866: Merge group checks requested
February 22, 2025 11:35 1h 7m 26s
February 22, 2025 11:35 1h 7m 26s
Adding a rule for exactInstance of final types. (fixes #3389) Tests #2865: Pull request #3543 synchronize by mattulbrich
February 22, 2025 09:47 1h 6m 59s mattulbrich:fix3389
mattulbrich:fix3389
February 22, 2025 09:47 1h 6m 59s
fix #3553 (#3560) Tests #2864: Commit b0053a0 pushed by github-merge-queue bot
February 21, 2025 12:16 1h 7m 12s main
main
February 21, 2025 12:16 1h 7m 12s
Tests Tests #2863: Merge group checks requested
February 21, 2025 11:07 1h 7m 40s
February 21, 2025 11:07 1h 7m 40s
Add resolves keyword to PR template (#3568) Tests #2862: Commit 8bd192a pushed by github-merge-queue bot
February 21, 2025 10:38 1h 7m 54s main
main
February 21, 2025 10:38 1h 7m 54s
fix #3553 Tests #2861: Pull request #3560 synchronize by MarcoScaletta
February 21, 2025 10:00 1h 7m 10s MarcoScaletta:main
MarcoScaletta:main
February 21, 2025 10:00 1h 7m 10s
fix #3553 Tests #2860: Pull request #3560 synchronize by MarcoScaletta
February 21, 2025 09:58 1h 7m 3s MarcoScaletta:main
MarcoScaletta:main
February 21, 2025 09:58 1h 7m 3s
Tests Tests #2859: Merge group checks requested
February 21, 2025 09:30 1h 6m 41s
February 21, 2025 09:30 1h 6m 41s
Add resolves keyword to PR template Tests #2858: Pull request #3568 opened by frereit
February 21, 2025 08:23 1h 7m 12s frereit:pr-template-closes
frereit:pr-template-closes
February 21, 2025 08:23 1h 7m 12s
Cleanup: Removal of key.api package (#3550) Tests #2857: Commit 0e4a43a pushed by github-merge-queue bot
February 20, 2025 23:17 1h 7m 46s main
main
February 20, 2025 23:17 1h 7m 46s
Fix/Improve KeY example application (#3562) Tests #2856: Commit ad5c84f pushed by github-merge-queue bot
February 20, 2025 22:18 1h 7m 22s main
main
February 20, 2025 22:18 1h 7m 22s
Tests Tests #2855: Merge group checks requested
February 20, 2025 22:05 1h 11m 35s
February 20, 2025 22:05 1h 11m 35s