Skip to content

Actions: KeYProject/key

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,907 workflow runs
2,907 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CodeQuality CodeQuality #4036: Merge group checks requested
2m 29s
2m 29s
Tests Tests #3966: Merge group checks requested
In progress
In progress
The Removal of Recoder Tests #3965: Pull request #3120 synchronize by unp1
1h 23m 55s weigl/key-javaparser3
weigl/key-javaparser3
1h 23m 55s
The Removal of Recoder CodeQuality #4035: Pull request #3120 synchronize by unp1
1m 26s weigl/key-javaparser3
weigl/key-javaparser3
1m 26s
Minor cleanup Singlewise RAP (not for main) #48: Commit eec0425 pushed by unp1
2h 48m 20s weigl/key-javaparser3
weigl/key-javaparser3
2h 48m 20s
The Removal of Recoder Tests #3964: Pull request #3120 synchronize by unp1
1h 26m 25s weigl/key-javaparser3
weigl/key-javaparser3
1h 26m 25s
The Removal of Recoder CodeQuality #4034: Pull request #3120 synchronize by unp1
1m 25s weigl/key-javaparser3
weigl/key-javaparser3
1m 25s
Another try on method resolving using reference resolving of JavaPars… Singlewise RAP (not for main) #47: Commit a265a95 pushed by unp1
3h 31m 47s weigl/key-javaparser3
weigl/key-javaparser3
3h 31m 47s
Fix nullchecker Tests #3963: Pull request #3732 opened by Drodt
1h 9m 25s fix-checker
fix-checker
1h 9m 25s
Fix nullchecker CodeQuality #4033: Pull request #3732 opened by Drodt
2m 29s fix-checker
fix-checker
2m 29s
Anonymize ghost variables in loop CodeQuality #4032: Pull request #3729 synchronize by Drodt
1m 30s fix-ghost-in-loop
fix-ghost-in-loop
1m 30s
Anonymize ghost variables in loop Tests #3962: Pull request #3729 synchronize by Drodt
1h 6m 55s fix-ghost-in-loop
fix-ghost-in-loop
1h 6m 55s
add @Timeout to generated RAP unit tests Singlewise RAP (not for main) #46: Commit 8063bcd pushed by wadoon
2h 17m 57s weigl/key-javaparser3
weigl/key-javaparser3
2h 17m 57s
getProgramMethod with context Singlewise RAP (not for main) #45: Commit c056904 pushed by wadoon
3h 10m 13s weigl/key-javaparser3
weigl/key-javaparser3
3h 10m 13s
getProgramMethod with context Singlewise RAP (not for main) #44: Commit e9ee149 pushed by wadoon
2h 22m 45s weigl/key-javaparser3
weigl/key-javaparser3
2h 22m 45s
The Removal of Recoder Tests #3961: Pull request #3120 synchronize by wadoon
3h 27m 0s weigl/key-javaparser3
weigl/key-javaparser3
3h 27m 0s
The Removal of Recoder CodeQuality #4031: Pull request #3120 synchronize by wadoon
1m 30s weigl/key-javaparser3
weigl/key-javaparser3
1m 30s
The Removal of Recoder Tests #3960: Pull request #3120 synchronize by wadoon
3h 26m 21s weigl/key-javaparser3
weigl/key-javaparser3
3h 26m 21s
The Removal of Recoder CodeQuality #4030: Pull request #3120 synchronize by wadoon
1m 24s weigl/key-javaparser3
weigl/key-javaparser3
1m 24s
The Removal of Recoder CodeQuality #4029: Pull request #3120 synchronize by wadoon
1m 28s weigl/key-javaparser3
weigl/key-javaparser3
1m 28s
The Removal of Recoder Tests #3959: Pull request #3120 synchronize by wadoon
6h 5m 4s weigl/key-javaparser3
weigl/key-javaparser3
6h 5m 4s
Merge branch 'main' into weigl/key-javaparser3 Singlewise RAP (not for main) #43: Commit 1ef5ad8 pushed by wadoon
2h 41m 54s weigl/key-javaparser3
weigl/key-javaparser3
2h 41m 54s
Merge branch 'main' into weigl/key-javaparser3 Singlewise RAP (not for main) #42: Commit 1ef5ad8 pushed by wadoon
6h 5m 4s weigl/key-javaparser3
weigl/key-javaparser3
6h 5m 4s
Merge branch 'main' into weigl/key-javaparser3 Singlewise RAP (not for main) #41: Commit 1ef5ad8 pushed by wadoon
2h 18m 22s weigl/key-javaparser3
weigl/key-javaparser3
2h 18m 22s
Merge branch 'main' into weigl/key-javaparser3 Singlewise RAP (not for main) #40: Commit 1ef5ad8 pushed by wadoon
6h 5m 7s weigl/key-javaparser3
weigl/key-javaparser3
6h 5m 7s