Skip to content

Actions: KeYProject/key

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Create a JSON-RPC for KeY CodeQuality #4581: Pull request #3303 synchronize by wadoon
3m 7s weigl/jsonrpc
weigl/jsonrpc
3m 7s
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
Update the InfoTree component CodeQuality #4580: Pull request #3786 synchronize by wadoon
5m 1s weigl/infotree
weigl/infotree
5m 1s
MetaSpace for documentation and origin CodeQuality #4579: Pull request #3787 synchronize by wadoon
4m 28s weigl/metaspace
weigl/metaspace
4m 28s
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
Options Panel in Load Dialog. Options in Recent Files CodeQuality #4578: Pull request #3788 synchronize by wadoon
2m 45s weigl/loadoptionpanel
weigl/loadoptionpanel
2m 45s
Remove codecov from CI Tests #4498: Pull request #3802 synchronize by wadoon
42m 58s weigl/codecov
weigl/codecov
42m 58s
Remove codecov from CI CodeQuality #4577: Pull request #3802 synchronize by wadoon
2m 52s weigl/codecov
weigl/codecov
2m 52s
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
Clean up the Java AST: Avoid sub-classes in favor of Enum CodeQuality #4576: Pull request #3803 synchronize by wadoon
2m 50s weigl/javaastenums
weigl/javaastenums
2m 50s
Generation of Java AST classes Tests #4496: Pull request #3809 synchronize by wadoon
44m 47s weigl/javaastgen
weigl/javaastgen
44m 47s
Generation of Java AST classes CodeQuality #4575: Pull request #3809 synchronize by wadoon
2m 8s weigl/javaastgen
weigl/javaastgen
2m 8s
Proof Scripts in JML CodeQuality #4574: Pull request #3657 synchronize by wadoon
2m 37s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 37s
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 CodeQuality #4573: Pull request #3657 synchronize by wadoon
2m 31s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 31s
Proof Scripts in JML CodeQuality #4572: Pull request #3657 synchronize by wadoon
2m 19s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 19s
Proof Scripts in JML Tests #4493: Pull request #3657 synchronize by wadoon
42m 30s mattulbrich:jmlScripts
mattulbrich:jmlScripts
42m 30s
github_actions in /. - Update #1344888179 Dependabot Updates #155: by dependabot Bot
1m 5s main
main
1m 5s
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
Bump the gradle-deps group with 8 updates CodeQuality #4571: Pull request #3814 opened by dependabot Bot
2m 35s dependabot/gradle/gradle-deps-8eb2b48940
dependabot/gradle/gradle-deps-8eb2b48940
2m 35s
gradle in /. - Update #1344887061 Dependabot Updates #154: by dependabot Bot
1m 41s main
main
1m 41s
gradle in /. - Update #1344884927 Dependabot Updates #153: by dependabot Bot
1m 54s main
main
1m 54s