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
automode to choose from a dropdown list CodeQuality #4831: Pull request #3857 synchronize by mattulbrich
2m 24s automodeDropdown
automodeDropdown
2m 24s
automode to choose from a dropdown list Tests #4752: Pull request #3857 synchronize by mattulbrich
44m 51s automodeDropdown
automodeDropdown
44m 51s
Fix pruning of cached branches CodeQuality #4830: Pull request #3858 opened by FliegendeWurst
1m 57s FliegendeWurst:cachingFixes
FliegendeWurst:cachingFixes
1m 57s
Fix pruning of cached branches Tests #4751: Pull request #3858 opened by FliegendeWurst
44m 19s FliegendeWurst:cachingFixes
FliegendeWurst:cachingFixes
44m 19s
automode to choose from a dropdown list Tests #4750: Pull request #3857 opened by mattulbrich
43m 31s automodeDropdown
automodeDropdown
43m 31s
automode to choose from a dropdown list CodeQuality #4829: Pull request #3857 opened by mattulbrich
2m 0s automodeDropdown
automodeDropdown
2m 0s
Fix newline escape for Windows (#3856) Tests #4749: Commit fc9b4b3 pushed by github-merge-queue Bot
43m 59s main
main
43m 59s
Fix newline escape for Windows (#3856) CodeQuality #4828: Commit fc9b4b3 pushed by github-merge-queue Bot
2m 14s main
main
2m 14s
CodeQuality CodeQuality #4827: Merge group checks requested
2m 22s
2m 22s
Tests Tests #4748: Merge group checks requested
44m 41s
44m 41s
Proof Scripts in JML CodeQuality #4826: Pull request #3657 synchronize by mattulbrich
2m 18s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 18s
Proof Scripts in JML Tests #4747: Pull request #3657 synchronize by mattulbrich
43m 57s mattulbrich:jmlScripts
mattulbrich:jmlScripts
43m 57s
Fix newline escape for Windows Tests #4746: Pull request #3856 opened by Drodt
44m 50s windows-rap
windows-rap
44m 50s
Fix newline escape for Windows CodeQuality #4825: Pull request #3856 opened by Drodt
2m 13s windows-rap
windows-rap
2m 13s
Proof Scripts in JML Tests #4745: Pull request #3657 synchronize by mattulbrich
16m 49s mattulbrich:jmlScripts
mattulbrich:jmlScripts
16m 49s
Proof Scripts in JML CodeQuality #4824: Pull request #3657 synchronize by mattulbrich
2m 2s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 2s
Weekly Builds of KeY Weekly Builds of KeY #205: Scheduled
20m 38s main
main
20m 38s
Multithreading for KeY: combined preview with the performance series Tests #4744: Pull request #3843 synchronize by unp1
45m 41s bubel/mt-perf-integration
bubel/mt-perf-integration
45m 41s
Multithreading for KeY: combined preview with the performance series CodeQuality #4823: Pull request #3843 synchronize by unp1
2m 3s bubel/mt-perf-integration
bubel/mt-perf-integration
2m 3s
Multithreading for KeY: combined preview with the performance series Tests #4743: Pull request #3843 synchronize by unp1
1m 46s bubel/mt-perf-integration
bubel/mt-perf-integration
1m 46s
Multithreading for KeY: combined preview with the performance series CodeQuality #4822: Pull request #3843 synchronize by unp1
46s bubel/mt-perf-integration
bubel/mt-perf-integration
46s
Taclet match dialog: collapse big matched terms; add an editor for SV… CodeQuality #4821: Commit 2ca65c4 pushed by github-merge-queue Bot
1m 59s main
main
1m 59s
Taclet match dialog: collapse big matched terms; add an editor for SV… Tests #4742: Commit 2ca65c4 pushed by github-merge-queue Bot
42m 47s main
main
42m 47s
CodeQuality CodeQuality #4820: Merge group checks requested
1m 59s
1m 59s
Tests Tests #4741: Merge group checks requested
36m 11s
36m 11s