Skip to content

Actions: KeYProject/key

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

The Removal of Recoder CodeQuality #4267: Pull request #3120 synchronize by wadoon
2m 24s weigl/key-javaparser3
weigl/key-javaparser3
2m 24s
The Removal of Recoder Tests #4198: Pull request #3120 synchronize by wadoon
48m 46s weigl/key-javaparser3
weigl/key-javaparser3
48m 46s
Merge remote-tracking branch 'origin/main' into weigl/key-javaparser3 Singlewise RAP (not for main) #223: Commit 836ee2b pushed by wadoon
In progress weigl/key-javaparser3
weigl/key-javaparser3
In progress
process parameter modifier of constructor and methods Singlewise RAP (not for main) #222: Commit 2dadc6e pushed by wadoon
1h 25m 44s weigl/key-javaparser3
weigl/key-javaparser3
1h 25m 44s
fix LoopScopeInvRuleTests Singlewise RAP (not for main) #221: Commit 73f5487 pushed by wadoon
1h 18m 30s weigl/key-javaparser3
weigl/key-javaparser3
1h 18m 30s
fix ProofBundleIOTest (and setting classpath/bootclasspath in .key fi… Singlewise RAP (not for main) #220: Commit f0a2dec pushed by WolframPfeifer
1h 18m 11s weigl/key-javaparser3
weigl/key-javaparser3
1h 18m 11s
Purge sort depending functions in favor of parametric functions CodeQuality #4266: Pull request #3773 synchronize by Drodt
2m 30s purge-sort-depending-fn
purge-sort-depending-fn
2m 30s
Purge sort depending functions in favor of parametric functions Tests #4197: Pull request #3773 synchronize by Drodt
56m 1s purge-sort-depending-fn
purge-sort-depending-fn
56m 1s
Purge sort depending functions in favor of parametric functions Tests #4196: Pull request #3773 synchronize by Drodt
54m 39s purge-sort-depending-fn
purge-sort-depending-fn
54m 39s
Purge sort depending functions in favor of parametric functions CodeQuality #4265: Pull request #3773 synchronize by Drodt
2m 27s purge-sort-depending-fn
purge-sort-depending-fn
2m 27s
Purge sort depending functions in favor of parametric functions CodeQuality #4264: Pull request #3773 synchronize by Drodt
2m 32s purge-sort-depending-fn
purge-sort-depending-fn
2m 32s
Purge sort depending functions in favor of parametric functions Tests #4195: Pull request #3773 synchronize by Drodt
57m 13s purge-sort-depending-fn
purge-sort-depending-fn
57m 13s
Send Feedback using Github issues (#3736) CodeQuality #4263: Commit d52582d pushed by github-merge-queue bot
2m 29s main
main
2m 29s
Send Feedback using Github issues (#3736) Tests #4194: Commit d52582d pushed by github-merge-queue bot
1h 7m 48s main
main
1h 7m 48s
Remove mutable list from AST Singlewise RAP (not for main) #219: Commit 0a20b91 pushed by unp1
1h 21m 6s weigl/key-javaparser3
weigl/key-javaparser3
1h 21m 6s
Tests Tests #4193: Merge group checks requested
1h 7m 47s
1h 7m 47s
CodeQuality CodeQuality #4262: Merge group checks requested
2m 31s
2m 31s
Purge sort depending functions in favor of parametric functions CodeQuality #4261: Pull request #3773 opened by Drodt
2m 29s purge-sort-depending-fn
purge-sort-depending-fn
2m 29s
Purge sort depending functions in favor of parametric functions Tests #4192: Pull request #3773 opened by Drodt
56m 2s purge-sort-depending-fn
purge-sort-depending-fn
56m 2s
Fix merge point statements Singlewise RAP (not for main) #218: Commit ddec097 pushed by unp1
6h 5m 4s weigl/key-javaparser3
weigl/key-javaparser3
6h 5m 4s
disable timeout in RAP generated test cases Singlewise RAP (not for main) #217: Commit e457c95 pushed by wadoon
1h 30m 37s weigl/key-javaparser3
weigl/key-javaparser3
1h 30m 37s
Broad Release Tests Broad Release Tests #154: Scheduled
1h 20m 31s main
main
1h 20m 31s
Weekly Builds of KeY Weekly Builds of KeY #167: Scheduled
4m 54s main
main
4m 54s
Taclet definition added to problemHeader CodeQuality #4260: Pull request #3733 synchronize by wadoon
2m 25s weigl/fix849
weigl/fix849
2m 25s
Taclet definition added to problemHeader Tests #4191: Pull request #3733 synchronize by wadoon
1h 6m 34s weigl/fix849
weigl/fix849
1h 6m 34s