Skip to content

Actions: KeYProject/key

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,015 workflow runs
3,015 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Expand OSS steps when saving a proof for more deterministic Proofs Tests #4025: Pull request #3707 synchronize by Drodt
1h 6m 32s expand-oss
expand-oss
1h 6m 32s
Anonymize ghost variables in loop (#3729) Tests #4024: Commit d0e031e pushed by github-merge-queue bot
1h 7m 20s main
main
1h 7m 20s
Anonymize ghost variables in loop (#3729) CodeQuality #4093: Commit d0e031e pushed by github-merge-queue bot
2m 57s main
main
2m 57s
Tests Tests #4023: Merge group checks requested
1h 7m 19s
1h 7m 19s
CodeQuality CodeQuality #4092: Merge group checks requested
2m 42s
2m 42s
Anonymize ghost variables in loop CodeQuality #4091: Pull request #3729 synchronize by Drodt
3m 0s fix-ghost-in-loop
fix-ghost-in-loop
3m 0s
Anonymize ghost variables in loop Tests #4022: Pull request #3729 synchronize by Drodt
1h 8m 4s fix-ghost-in-loop
fix-ghost-in-loop
1h 8m 4s
Anonymize ghost variables in loop CodeQuality #4090: Pull request #3729 synchronize by Drodt
2m 49s fix-ghost-in-loop
fix-ghost-in-loop
2m 49s
Anonymize ghost variables in loop Tests #4021: Pull request #3729 synchronize by Drodt
1h 8m 6s fix-ghost-in-loop
fix-ghost-in-loop
1h 8m 6s
Fix for #3738: Fix SMT type axiomatisation for interfaces (#3749) Tests #4020: Commit c5a1cd3 pushed by github-merge-queue bot
1h 7m 43s main
main
1h 7m 43s
Fix for #3738: Fix SMT type axiomatisation for interfaces (#3749) CodeQuality #4089: Commit c5a1cd3 pushed by github-merge-queue bot
2m 25s main
main
2m 25s
Tests Tests #4019: Merge group checks requested
1h 7m 48s
1h 7m 48s
CodeQuality CodeQuality #4088: Merge group checks requested
2m 28s
2m 28s
Fix for #3738: Fix SMT type axiomatisation for interfaces Tests #4018: Pull request #3749 synchronize by mattulbrich
1h 7m 32s pfeifer/3738smtTypeAxiomFix
pfeifer/3738smtTypeAxiomFix
1h 7m 32s
Fix for #3738: Fix SMT type axiomatisation for interfaces CodeQuality #4087: Pull request #3749 synchronize by mattulbrich
2m 26s pfeifer/3738smtTypeAxiomFix
pfeifer/3738smtTypeAxiomFix
2m 26s
Fix for #3738: Fix SMT type axiomatisation for interfaces Tests #4017: Pull request #3749 opened by WolframPfeifer
1h 8m 29s pfeifer/3738smtTypeAxiomFix
pfeifer/3738smtTypeAxiomFix
1h 8m 29s
Fix for #3738: Fix SMT type axiomatisation for interfaces CodeQuality #4086: Pull request #3749 opened by WolframPfeifer
2m 34s pfeifer/3738smtTypeAxiomFix
pfeifer/3738smtTypeAxiomFix
2m 34s
Expand OSS steps when saving a proof for more deterministic Proofs Tests #4016: Pull request #3707 synchronize by Drodt
1h 8m 42s expand-oss
expand-oss
1h 8m 42s
Expand OSS steps when saving a proof for more deterministic Proofs CodeQuality #4085: Pull request #3707 synchronize by Drodt
2m 26s expand-oss
expand-oss
2m 26s
Add reachable Java state properties to invariant for modified local v… CodeQuality #4084: Commit 50b73a8 pushed by github-merge-queue bot
3m 1s main
main
3m 1s
Add reachable Java state properties to invariant for modified local v… Tests #4015: Commit 50b73a8 pushed by github-merge-queue bot
1h 8m 51s main
main
1h 8m 51s
CodeQuality CodeQuality #4083: Merge group checks requested
2m 42s
2m 42s
Tests Tests #4014: Merge group checks requested
1h 8m 34s
1h 8m 34s
Add reachable Java state properties to invariant for modified local variables (fixes #3728) Tests #4013: Pull request #3747 synchronize by unp1
1h 6m 47s fix3728
fix3728
1h 6m 47s
Add reachable Java state properties to invariant for modified local variables (fixes #3728) CodeQuality #4082: Pull request #3747 synchronize by unp1
2m 12s fix3728
fix3728
2m 12s