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
Weigl/ocfx Tests #5690: Pull request #3993 synchronize by wadoon
43m 22s weigl/ocfx
weigl/ocfx
43m 22s
Weigl/ocfx CodeQuality #5774: Pull request #3993 synchronize by wadoon
1m 30s weigl/ocfx
weigl/ocfx
1m 30s
Weigl/ocfx Tests #5689: Pull request #3993 synchronize by wadoon
43m 29s weigl/ocfx
weigl/ocfx
43m 29s
Weigl/ocfx CodeQuality #5773: Pull request #3993 synchronize by wadoon
1m 32s weigl/ocfx
weigl/ocfx
1m 32s
Weigl/ocfx CodeQuality #5772: Pull request #3993 synchronize by wadoon
2m 19s weigl/ocfx
weigl/ocfx
2m 19s
Weigl/ocfx Tests #5688: Pull request #3993 synchronize by wadoon
27m 31s weigl/ocfx
weigl/ocfx
27m 31s
Weigl/ocfx CodeQuality #5771: Pull request #3993 synchronize by wadoon
2m 23s weigl/ocfx
weigl/ocfx
2m 23s
Weigl/ocfx Tests #5687: Pull request #3993 synchronize by wadoon
43m 10s weigl/ocfx
weigl/ocfx
43m 10s
Generate user documentation for varconds and proof script commands CodeQuality #5770: Pull request #3977 synchronize by wadoon
2m 19s weigl/varconddoc
weigl/varconddoc
2m 19s
Generate user documentation for varconds and proof script commands Tests #5686: Pull request #3977 synchronize by wadoon
46m 8s weigl/varconddoc
weigl/varconddoc
46m 8s
Generate user documentation for varconds and proof script commands Tests #5685: Pull request #3977 synchronize by wadoon
46m 47s weigl/varconddoc
weigl/varconddoc
46m 47s
Generate user documentation for varconds and proof script commands CodeQuality #5769: Pull request #3977 synchronize by wadoon
2m 25s weigl/varconddoc
weigl/varconddoc
2m 25s
Generate user documentation for varconds and proof script commands CodeQuality #5768: Pull request #3977 synchronize by wadoon
2m 19s weigl/varconddoc
weigl/varconddoc
2m 19s
Generate user documentation for varconds and proof script commands Tests #5684: Pull request #3977 synchronize by wadoon
44m 13s weigl/varconddoc
weigl/varconddoc
44m 13s
Weigl/ocfx Tests #5683: Pull request #3993 synchronize by wadoon
43m 51s weigl/ocfx
weigl/ocfx
43m 51s
Weigl/ocfx CodeQuality #5767: Pull request #3993 synchronize by wadoon
1m 50s weigl/ocfx
weigl/ocfx
1m 50s
Generate user documentation for varconds and proof script commands CodeQuality #5766: Pull request #3977 synchronize by wadoon
2m 37s weigl/varconddoc
weigl/varconddoc
2m 37s
Generate user documentation for varconds and proof script commands Tests #5682: Pull request #3977 synchronize by wadoon
44m 37s weigl/varconddoc
weigl/varconddoc
44m 37s
remove Main.getWorkingDir() Tests #5681: Pull request #3982 synchronize by wadoon
46m 12s weigl/mwrun
weigl/mwrun
46m 12s
remove Main.getWorkingDir() CodeQuality #5765: Pull request #3982 synchronize by wadoon
2m 5s weigl/mwrun
weigl/mwrun
2m 5s
Weigl/ocfx Tests #5680: Pull request #3993 synchronize by wadoon
42m 37s weigl/ocfx
weigl/ocfx
42m 37s
Weigl/ocfx CodeQuality #5764: Pull request #3993 synchronize by wadoon
2m 22s weigl/ocfx
weigl/ocfx
2m 22s
Weigl/ocfx CodeQuality #5763: Pull request #3993 synchronize by wadoon
2m 0s weigl/ocfx
weigl/ocfx
2m 0s
Weigl/ocfx Tests #5679: Pull request #3993 synchronize by wadoon
40m 25s weigl/ocfx
weigl/ocfx
40m 25s
Weigl/ocfx Tests #5678: Pull request #3993 synchronize by wadoon
34m 18s weigl/ocfx
weigl/ocfx
34m 18s