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
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
CodeQuality CodeQuality #5318: Merge group checks requested
2m 30s
2m 30s
Tests Tests #5233: Merge group checks requested
46m 19s
46m 19s
gradle in /. for ch.qos.logback:logback-core - Update #1462483076 Dependabot Updates #176: by dependabot Bot
46s main
main
46s
Matcher Follow-Up: Remove monolithic matcher for Java programs (compiler) + move more matching logic to ncore CodeQuality #5317: Pull request #3922 synchronize by unp1
2m 14s bubel/program-matcher-single-source
bubel/program-matcher-single-source
2m 14s
Matcher Follow-Up: Remove monolithic matcher for Java programs (compiler) + move more matching logic to ncore Tests #5232: Pull request #3922 synchronize by unp1
43m 33s bubel/program-matcher-single-source
bubel/program-matcher-single-source
43m 33s
Enable bounded cross-multiplication of inequations in DefOps Tests #5231: Pull request #3907 synchronize by unp1
47m 4s bubel/defops-crossmult
bubel/defops-crossmult
47m 4s
Enable bounded cross-multiplication of inequations in DefOps CodeQuality #5316: Pull request #3907 synchronize by unp1
2m 17s bubel/defops-crossmult
bubel/defops-crossmult
2m 17s
Multithreading for KeY and now it's deterministic too (#3842) Tests #5230: Commit e127150 pushed by github-merge-queue Bot
41m 59s main
main
41m 59s
Multithreading for KeY and now it's deterministic too (#3842) CodeQuality #5315: Commit e127150 pushed by github-merge-queue Bot
1m 44s main
main
1m 44s