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

highlight current line in issue editor pane Tests #2904: Pull request #3573 synchronize by mattulbrich
February 27, 2025 17:22 1h 9m 40s mattulbrich:highlightCurrentLineEditor
mattulbrich:highlightCurrentLineEditor
February 27, 2025 17:22 1h 9m 40s
highlight current line in issue editor pane Tests #2903: Pull request #3573 opened by mattulbrich
February 27, 2025 14:16 1h 7m 9s mattulbrich:highlightCurrentLineEditor
mattulbrich:highlightCurrentLineEditor
February 27, 2025 14:16 1h 7m 9s
JmlLexer w/o expr mode Tests #2902: Pull request #3572 synchronize by wadoon
February 27, 2025 12:08 4m 28s weigl/lexerwomodes
weigl/lexerwomodes
February 27, 2025 12:08 4m 28s
JmlLexer w/o expr mode Tests #2901: Pull request #3572 synchronize by wadoon
February 27, 2025 12:06 2m 54s weigl/lexerwomodes
weigl/lexerwomodes
February 27, 2025 12:06 2m 54s
JmlLexer w/o expr mode Tests #2900: Pull request #3572 opened by wadoon
February 27, 2025 12:02 1m 59s weigl/lexerwomodes
weigl/lexerwomodes
February 27, 2025 12:02 1m 59s
Use a custom Github action for setting up the SMT solvers Tests #2899: Pull request #3569 synchronize by wadoon
February 26, 2025 22:12 40s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 26, 2025 22:12 40s
Improved treatment of final fields Tests #2898: Pull request #3495 synchronize by mattulbrich
February 26, 2025 20:14 1h 7m 28s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 26, 2025 20:14 1h 7m 28s
Reactivate Checkstyle Tests #2897: Pull request #3539 synchronize by wadoon
February 25, 2025 18:02 1h 7m 2s wadoon:weigl/checkstyle
wadoon:weigl/checkstyle
February 25, 2025 18:02 1h 7m 2s
Cleanup: Making the build script fit for the future. Tests #2896: Pull request #3552 synchronize by wadoon
February 25, 2025 17:47 1m 27s weigl/cleanup/gradle
weigl/cleanup/gradle
February 25, 2025 17:47 1m 27s
Cleanup: Use Standard Tech for Test Fixtures Tests #2895: Pull request #3551 synchronize by wadoon
February 25, 2025 17:42 1h 7m 33s weigl/cleanup/yamlfixtures
weigl/cleanup/yamlfixtures
February 25, 2025 17:42 1h 7m 33s
Cleanup: Use Standard Tech for Test Fixtures Tests #2894: Pull request #3551 synchronize by wadoon
February 25, 2025 17:38 1h 7m 5s weigl/cleanup/yamlfixtures
weigl/cleanup/yamlfixtures
February 25, 2025 17:38 1h 7m 5s
Use a custom Github action for setting up the SMT solvers Tests #2893: Pull request #3569 synchronize by wadoon
February 24, 2025 19:21 25m 55s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 24, 2025 19:21 25m 55s
Adding a rule for exactInstance of final types. (fixes #3389) (#3543) Tests #2892: Commit 58c9816 pushed by github-merge-queue bot
February 24, 2025 12:10 1h 7m 27s main
main
February 24, 2025 12:10 1h 7m 27s
Tests Tests #2891: Merge group checks requested
February 24, 2025 11:01 1h 8m 40s
February 24, 2025 11:01 1h 8m 40s
Restoration of the formatter for KEY files Tests #2890: Pull request #3494 synchronize by mattulbrich
February 24, 2025 10:21 1h 7m 17s weigl/keyformat
weigl/keyformat
February 24, 2025 10:21 1h 7m 17s
Adding a rule for exactInstance of final types. (fixes #3389) Tests #2889: Pull request #3543 synchronize by mattulbrich
February 24, 2025 09:53 1h 7m 20s mattulbrich:fix3389
mattulbrich:fix3389
February 24, 2025 09:53 1h 7m 20s
Adding a rule for exactInstance of final types. (fixes #3389) Tests #2888: Pull request #3543 synchronize by mattulbrich
February 24, 2025 09:52 1h 7m 20s mattulbrich:fix3389
mattulbrich:fix3389
February 24, 2025 09:52 1h 7m 20s
Cleanup: Use Standard Tech for Test Fixtures Tests #2887: Pull request #3551 synchronize by wadoon
February 24, 2025 00:41 1h 6m 56s weigl/cleanup/yamlfixtures
weigl/cleanup/yamlfixtures
February 24, 2025 00:41 1h 6m 56s
Restoration of the formatter for KEY files Tests #2886: Pull request #3494 synchronize by wadoon
February 23, 2025 23:52 1h 7m 4s weigl/keyformat
weigl/keyformat
February 23, 2025 23:52 1h 7m 4s
Fix line number alignment in SMT interface (#3559) Tests #2885: Commit ea7e633 pushed by github-merge-queue bot
February 23, 2025 23:32 1h 7m 11s main
main
February 23, 2025 23:32 1h 7m 11s
Tests Tests #2884: Merge group checks requested
February 23, 2025 22:22 1h 9m 32s
February 23, 2025 22:22 1h 9m 32s
Introducing some structure for model method bodies Tests #2883: Pull request #3571 synchronize by mattulbrich
February 23, 2025 21:59 1h 7m 17s mattulbrich:structuredModelMethods
mattulbrich:structuredModelMethods
February 23, 2025 21:59 1h 7m 17s
Introducing some structure for model method bodies Tests #2882: Pull request #3571 opened by mattulbrich
February 23, 2025 21:55 1h 7m 53s mattulbrich:structuredModelMethods
mattulbrich:structuredModelMethods
February 23, 2025 21:55 1h 7m 53s
Cleanup: Use Standard Tech for Test Fixtures Tests #2881: Pull request #3551 synchronize by wadoon
February 23, 2025 20:30 1h 7m 18s weigl/cleanup/yamlfixtures
weigl/cleanup/yamlfixtures
February 23, 2025 20:30 1h 7m 18s
Cleanup: Use Standard Tech for Test Fixtures Tests #2880: Pull request #3551 synchronize by wadoon
February 23, 2025 20:05 1h 7m 37s weigl/cleanup/yamlfixtures
weigl/cleanup/yamlfixtures
February 23, 2025 20:05 1h 7m 37s