Skip to content

Actions: KeYProject/key

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Tests Tests #4513: Merge group checks requested
27m 4s
27m 4s
Create a JSON-RPC for KeY Tests #4512: Pull request #3303 synchronize by wadoon
3m 0s weigl/jsonrpc
weigl/jsonrpc
3m 0s
Proof Scripts in JML Tests #4511: Pull request #3657 synchronize by wadoon
34m 57s mattulbrich:jmlScripts
mattulbrich:jmlScripts
34m 57s
MetaSpace for documentation and origin Tests #4510: Pull request #3787 synchronize by wadoon
43m 52s weigl/metaspace
weigl/metaspace
43m 52s
Universe Type Rules Tests #4509: Pull request #3724 synchronize by PiIsRational
26m 39s PiIsRational:ut-integration
PiIsRational:ut-integration
26m 39s
Bump the gradle-deps group across 1 directory with 7 updates (#3815) Tests #4508: Commit 17e9fe5 pushed by github-merge-queue Bot
41m 50s main
main
41m 50s
Tests Tests #4507: Merge group checks requested
41m 17s
41m 17s
Bump the gradle-deps group across 1 directory with 7 updates Tests #4506: Pull request #3815 synchronize by wadoon
41m 38s dependabot/gradle/gradle-deps-9990bcc2d9
dependabot/gradle/gradle-deps-9990bcc2d9
41m 38s
Bump the gradle-deps group across 1 directory with 7 updates Tests #4505: Pull request #3815 opened by dependabot Bot
43m 45s dependabot/gradle/gradle-deps-9990bcc2d9
dependabot/gradle/gradle-deps-9990bcc2d9
43m 45s
Update Gradle version to 9.5 and deprecated method replacements (#3813) Tests #4504: Commit 3dee51d pushed by github-merge-queue Bot
34m 23s main
main
34m 23s
Tests Tests #4503: Merge group checks requested
43m 6s
43m 6s
Create a JSON-RPC for KeY Tests #4502: Pull request #3303 synchronize by wadoon
7m 26s weigl/jsonrpc
weigl/jsonrpc
7m 26s
Update the InfoTree component Tests #4501: Pull request #3786 synchronize by wadoon
46m 15s weigl/infotree
weigl/infotree
46m 15s
MetaSpace for documentation and origin Tests #4500: Pull request #3787 synchronize by wadoon
44m 35s weigl/metaspace
weigl/metaspace
44m 35s
Options Panel in Load Dialog. Options in Recent Files Tests #4499: Pull request #3788 synchronize by wadoon
43m 55s weigl/loadoptionpanel
weigl/loadoptionpanel
43m 55s
Remove codecov from CI Tests #4498: Pull request #3802 synchronize by wadoon
42m 58s weigl/codecov
weigl/codecov
42m 58s
Clean up the Java AST: Avoid sub-classes in favor of Enum Tests #4497: Pull request #3803 synchronize by wadoon
26m 27s weigl/javaastenums
weigl/javaastenums
26m 27s
Generation of Java AST classes Tests #4496: Pull request #3809 synchronize by wadoon
44m 47s weigl/javaastgen
weigl/javaastgen
44m 47s
Proof Scripts in JML Tests #4495: Pull request #3657 synchronize by wadoon
43m 41s mattulbrich:jmlScripts
mattulbrich:jmlScripts
43m 41s
Proof Scripts in JML Tests #4494: Pull request #3657 synchronize by wadoon
43m 15s mattulbrich:jmlScripts
mattulbrich:jmlScripts
43m 15s
Proof Scripts in JML Tests #4493: Pull request #3657 synchronize by wadoon
42m 30s mattulbrich:jmlScripts
mattulbrich:jmlScripts
42m 30s
Bump the gradle-deps group with 8 updates Tests #4492: Pull request #3814 opened by dependabot Bot
42m 37s dependabot/gradle/gradle-deps-8eb2b48940
dependabot/gradle/gradle-deps-8eb2b48940
42m 37s
Proof Scripts in JML Tests #4491: Pull request #3657 synchronize by wadoon
43m 20s mattulbrich:jmlScripts
mattulbrich:jmlScripts
43m 20s
Fix bug in ProofManagementDialog (#3812) Tests #4490: Commit 123ca74 pushed by github-merge-queue Bot
28m 30s main
main
28m 30s
Tests Tests #4489: Merge group checks requested
42m 45s
42m 45s