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
Broad Release Tests Broad Release Tests #8: Manually run by unp1
51m 9s prereleases/KeY-3.0.0-rc
prereleases/KeY-3.0.0-rc
51m 9s
Tests Tests #5244: Manually run by unp1
41m 45s prereleases/KeY-3.0.0-rc
prereleases/KeY-3.0.0-rc
41m 45s
Broad Release Tests Broad Release Tests #7: Manually run by unp1
1h 0m 19s prereleases/KeY-3.0.0-rc
prereleases/KeY-3.0.0-rc
1h 0m 19s
Broad Release Tests Broad Release Tests #6: Manually run by unp1
1h 45m 30s releases/KeY-2.12.4-Release-Candidate
releases/KeY-2.12.4-Release-Candidate
1h 45m 30s
Broad Release Tests Broad Release Tests #5: Manually run by unp1
31m 17s prereleases/KeY-3.0.0-rc
prereleases/KeY-3.0.0-rc
31m 17s
Add FM 2024 Tutorial tests CodeQuality #5328: Pull request #3933 synchronize by Drodt
2m 32s fm24-tutorial
fm24-tutorial
2m 32s
Add FM 2024 Tutorial tests Tests #5243: Pull request #3933 synchronize by Drodt
45m 3s fm24-tutorial
fm24-tutorial
45m 3s
Add FM 2024 Tutorial tests Tests #5242: Pull request #3933 synchronize by Drodt
43m 44s fm24-tutorial
fm24-tutorial
43m 44s
Add FM 2024 Tutorial tests CodeQuality #5327: Pull request #3933 synchronize by Drodt
1m 37s fm24-tutorial
fm24-tutorial
1m 37s
Add FM 2024 Tutorial tests Tests #5241: Pull request #3933 synchronize by Drodt
45m 30s fm24-tutorial
fm24-tutorial
45m 30s
Add FM 2024 Tutorial tests CodeQuality #5326: Pull request #3933 synchronize by Drodt
1m 56s fm24-tutorial
fm24-tutorial
1m 56s
Add FM 2024 Tutorial tests CodeQuality #5325: Pull request #3933 opened by Drodt
2m 23s fm24-tutorial
fm24-tutorial
2m 23s
Add FM 2024 Tutorial tests Tests #5240: Pull request #3933 opened by Drodt
46m 18s fm24-tutorial
fm24-tutorial
46m 18s
Matcher Follow-Up: Remove monolithic matcher for Java programs (compi… Tests #5239: Commit ba42c20 pushed by github-merge-queue Bot
43m 8s main
main
43m 8s
Matcher Follow-Up: Remove monolithic matcher for Java programs (compi… CodeQuality #5324: Commit ba42c20 pushed by github-merge-queue Bot
2m 20s main
main
2m 20s
CodeQuality CodeQuality #5323: Merge group checks requested
2m 22s
2m 22s
Tests Tests #5238: Merge group checks requested
44m 24s
44m 24s
Enable bounded cross-multiplication of inequations in DefOps (#3907) Tests #5237: Commit a765300 pushed by github-merge-queue Bot
40m 9s main
main
40m 9s
Enable bounded cross-multiplication of inequations in DefOps (#3907) CodeQuality #5322: Commit a765300 pushed by github-merge-queue Bot
2m 40s main
main
2m 40s
Matcher Follow-Up: Remove monolithic matcher for Java programs (compiler) + move more matching logic to ncore Tests #5236: Pull request #3922 synchronize by unp1
43m 32s bubel/program-matcher-single-source
bubel/program-matcher-single-source
43m 32s
Matcher Follow-Up: Remove monolithic matcher for Java programs (compiler) + move more matching logic to ncore CodeQuality #5321: Pull request #3922 synchronize by unp1
2m 25s bubel/program-matcher-single-source
bubel/program-matcher-single-source
2m 25s
CodeQuality CodeQuality #5320: Merge group checks requested
2m 34s
2m 34s
Tests Tests #5235: Merge group checks requested
46m 11s
46m 11s
Matcher Follow-Up: Remove monolithic matcher for Java programs (compiler) + move more matching logic to ncore CodeQuality #5319: Pull request #3922 synchronize by unp1
2m 25s bubel/program-matcher-single-source
bubel/program-matcher-single-source
2m 25s
Matcher Follow-Up: Remove monolithic matcher for Java programs (compiler) + move more matching logic to ncore Tests #5234: Pull request #3922 synchronize by unp1
44m 41s bubel/program-matcher-single-source
bubel/program-matcher-single-source
44m 41s