Skip to content

Actions: KeYProject/key

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Profile-dependent option panel in loading dialog Tests #4255: Pull request #3744 synchronize by wadoon
7m 54s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
7m 54s
Profile-dependent option panel in loading dialog CodeQuality #4331: Pull request #3744 synchronize by wadoon
1m 55s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
1m 55s
Profile-dependent option panel in loading dialog Tests #4254: Pull request #3744 synchronize by wadoon
2m 29s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
2m 29s
Profile-dependent option panel in loading dialog CodeQuality #4330: Pull request #3744 synchronize by wadoon
1m 54s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
1m 54s
Profile-dependent option panel in loading dialog Tests #4253: Pull request #3744 synchronize by wadoon
2m 57s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
2m 57s
Profile-dependent option panel in loading dialog CodeQuality #4329: Pull request #3744 synchronize by wadoon
1m 47s weigl/moreoptions-loaddialog
weigl/moreoptions-loaddialog
1m 47s
Taclet definition added to problemHeader (#3733) CodeQuality #4328: Commit 031be77 pushed by github-merge-queue bot
3m 7s main
main
3m 7s
Taclet definition added to problemHeader (#3733) Tests #4252: Commit 031be77 pushed by github-merge-queue bot
1h 9m 51s main
main
1h 9m 51s
CodeQuality CodeQuality #4327: Merge group checks requested
2m 55s
2m 55s
Tests Tests #4251: Merge group checks requested
1h 9m 44s
1h 9m 44s
Taclet definition added to problemHeader Tests #4250: Pull request #3733 synchronize by wadoon
1h 7m 29s weigl/fix849
weigl/fix849
1h 7m 29s
Taclet definition added to problemHeader CodeQuality #4326: Pull request #3733 synchronize by wadoon
2m 30s weigl/fix849
weigl/fix849
2m 30s
Taclet definition added to problemHeader Tests #4249: Pull request #3733 synchronize by wadoon
1h 8m 6s weigl/fix849
weigl/fix849
1h 8m 6s
Taclet definition added to problemHeader CodeQuality #4325: Pull request #3733 synchronize by wadoon
2m 45s weigl/fix849
weigl/fix849
2m 45s
The Removal of Recoder CodeQuality #4324: Pull request #3120 synchronize by wadoon
2m 17s weigl/key-javaparser3
weigl/key-javaparser3
2m 17s
The Removal of Recoder Tests #4248: Pull request #3120 synchronize by wadoon
42m 52s weigl/key-javaparser3
weigl/key-javaparser3
42m 52s
KeY 2.12.4 RC CodeQuality #4323: Pull request #3779 opened by unp1
2m 34s KeY-2.12.4-Release-Candidate
KeY-2.12.4-Release-Candidate
2m 34s
KeY 2.12.4 RC Tests #4247: Pull request #3779 opened by unp1
2m 56s KeY-2.12.4-Release-Candidate
KeY-2.12.4-Release-Candidate
2m 56s
Prepare for KeY 2.12.4 CodeQuality #4322: Commit 398f9ff pushed by unp1
2m 27s KeY-2.12.4-Release-Candidate
KeY-2.12.4-Release-Candidate
2m 27s
Modularity for Proof Strategies (#3650) CodeQuality #4321: Commit 36f73cd pushed by unp1
3m 21s KeY-2.12.4-Release-Candidate
KeY-2.12.4-Release-Candidate
3m 21s
The Removal of Recoder CodeQuality #4320: Pull request #3120 synchronize by wadoon
2m 19s weigl/key-javaparser3
weigl/key-javaparser3
2m 19s
The Removal of Recoder Tests #4246: Pull request #3120 synchronize by wadoon
41m 57s weigl/key-javaparser3
weigl/key-javaparser3
41m 57s
The Removal of Recoder CodeQuality #4319: Pull request #3120 synchronize by wadoon
2m 23s weigl/key-javaparser3
weigl/key-javaparser3
2m 23s
The Removal of Recoder Tests #4245: Pull request #3120 synchronize by wadoon
46m 42s weigl/key-javaparser3
weigl/key-javaparser3
46m 42s
The Removal of Recoder Tests #4244: Pull request #3120 synchronize by wadoon
42m 36s weigl/key-javaparser3
weigl/key-javaparser3
42m 36s