Skip to content

Actions: KeYProject/key

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump the gradle-deps group across 1 directory with 7 updates Tests #2923: Pull request #3576 opened by dependabot bot
March 1, 2025 20:06 2m 11s dependabot/gradle/gradle-deps-090e9e8e26
dependabot/gradle/gradle-deps-090e9e8e26
March 1, 2025 20:06 2m 11s
Improved treatment of final fields Tests #2922: Pull request #3495 synchronize by mattulbrich
March 1, 2025 15:48 1h 7m 50s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
March 1, 2025 15:48 1h 7m 50s
highlight current line in issue editor pane (#3573) Tests #2921: Commit 4ef708f pushed by github-merge-queue bot
February 28, 2025 16:25 1h 8m 21s main
main
February 28, 2025 16:25 1h 8m 21s
Use a custom Github action for setting up the SMT solvers Tests #2920: Pull request #3569 synchronize by wadoon
February 28, 2025 15:27 1h 8m 13s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 28, 2025 15:27 1h 8m 13s
Tests Tests #2919: Merge group checks requested
February 28, 2025 15:18 1h 6m 53s
February 28, 2025 15:18 1h 6m 53s
JmlLexer w/o expr mode Tests #2918: Pull request #3572 synchronize by wadoon
February 28, 2025 15:04 1h 2m 32s weigl/lexerwomodes
weigl/lexerwomodes
February 28, 2025 15:04 1h 2m 32s
Use a custom Github action for setting up the SMT solvers Tests #2917: Pull request #3569 synchronize by wadoon
February 28, 2025 14:36 1h 7m 42s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 28, 2025 14:36 1h 7m 42s
Use a custom Github action for setting up the SMT solvers Tests #2916: Pull request #3569 synchronize by wadoon
February 28, 2025 14:35 1h 6m 56s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 28, 2025 14:35 1h 6m 56s
Add documentation for soundDefaultContracts feature (#3574) Tests #2915: Commit 9062741 pushed by github-merge-queue bot
February 28, 2025 14:03 1h 8m 0s main
main
February 28, 2025 14:03 1h 8m 0s
Use a custom Github action for setting up the SMT solvers Tests #2914: Pull request #3569 synchronize by wadoon
February 28, 2025 14:02 1h 7m 12s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 28, 2025 14:02 1h 7m 12s
Improved treatment of final fields Tests #2913: Pull request #3495 synchronize by mattulbrich
February 28, 2025 13:23 1h 6m 25s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 28, 2025 13:23 1h 6m 25s
Improved treatment of final fields Tests #2912: Pull request #3495 synchronize by mattulbrich
February 28, 2025 13:01 1h 7m 19s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 28, 2025 13:01 1h 7m 19s
Tests Tests #2911: Merge group checks requested
February 28, 2025 12:55 1h 7m 27s
February 28, 2025 12:55 1h 7m 27s
JmlLexer w/o expr mode Tests #2910: Pull request #3572 synchronize by wadoon
February 28, 2025 12:50 4m 26s weigl/lexerwomodes
weigl/lexerwomodes
February 28, 2025 12:50 4m 26s
Use a custom Github action for setting up the SMT solvers Tests #2909: Pull request #3569 synchronize by wadoon
February 27, 2025 21:01 1h 7m 35s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 27, 2025 21:01 1h 7m 35s
Use a custom Github action for setting up the SMT solvers Tests #2908: Pull request #3569 synchronize by wadoon
February 27, 2025 19:18 1h 8m 28s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 27, 2025 19:18 1h 8m 28s
Use a custom Github action for setting up the SMT solvers Tests #2907: Pull request #3569 synchronize by wadoon
February 27, 2025 18:52 14s weigl/cleanup/dlsmt
weigl/cleanup/dlsmt
February 27, 2025 18:52 14s
Add documentation for soundDefaultContracts feature Tests #2906: Pull request #3574 opened by flo2702
February 27, 2025 17:42 1h 6m 59s flo2702:hackeythonUnknownMethodsDoc
flo2702:hackeythonUnknownMethodsDoc
February 27, 2025 17:42 1h 6m 59s
Improved treatment of final fields Tests #2905: Pull request #3495 synchronize by mattulbrich
February 27, 2025 17:25 1h 6m 46s mattulbrich:newFinalHeaps
mattulbrich:newFinalHeaps
February 27, 2025 17:25 1h 6m 46s
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