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
Options Panel in Load Dialog. Options in Recent Files CodeQuality #4555: Pull request #3788 synchronize by wadoon
2m 34s weigl/loadoptionpanel
weigl/loadoptionpanel
2m 34s
Options Panel in Load Dialog. Options in Recent Files Tests #4476: Pull request #3788 synchronize by wadoon
42m 59s weigl/loadoptionpanel
weigl/loadoptionpanel
42m 59s
Proof Scripts in JML CodeQuality #4554: Pull request #3657 synchronize by wadoon
1m 10s mattulbrich:jmlScripts
mattulbrich:jmlScripts
1m 10s
Proof Scripts in JML Tests #4475: Pull request #3657 synchronize by wadoon
3m 23s mattulbrich:jmlScripts
mattulbrich:jmlScripts
3m 23s
Fix Path bug (#3810) CodeQuality #4553: Commit 40d194c pushed by github-merge-queue Bot
3m 4s main
main
3m 4s
Fix Path bug (#3810) Tests #4474: Commit 40d194c pushed by github-merge-queue Bot
42m 42s main
main
42m 42s
Tests Tests #4473: Merge group checks requested
43m 16s
43m 16s
CodeQuality CodeQuality #4552: Merge group checks requested
2m 40s
2m 40s
Update function explanations to new syntax (#3811) CodeQuality #4551: Commit de3eae7 pushed by github-merge-queue Bot
2m 44s main
main
2m 44s
Update function explanations to new syntax (#3811) Tests #4472: Commit de3eae7 pushed by github-merge-queue Bot
42m 32s main
main
42m 32s
Tests Tests #4471: Merge group checks requested
35m 38s
35m 38s
CodeQuality CodeQuality #4550: Merge group checks requested
2m 41s
2m 41s
Universe Type Rules Tests #4470: Pull request #3724 synchronize by PiIsRational
30m 24s PiIsRational:ut-integration
PiIsRational:ut-integration
30m 24s
Universe Type Rules CodeQuality #4549: Pull request #3724 synchronize by PiIsRational
2m 37s PiIsRational:ut-integration
PiIsRational:ut-integration
2m 37s
Update function explanations to new syntax CodeQuality #4548: Pull request #3811 opened by Drodt
2m 31s function-explanation
function-explanation
2m 31s
Update function explanations to new syntax Tests #4469: Pull request #3811 opened by Drodt
44m 43s function-explanation
function-explanation
44m 43s
Purge sort depending functions in favor of parametric functions (#3773) CodeQuality #4547: Commit 1cc3706 pushed by github-merge-queue Bot
2m 43s main
main
2m 43s
Purge sort depending functions in favor of parametric functions (#3773) Tests #4468: Commit 1cc3706 pushed by github-merge-queue Bot
41m 23s main
main
41m 23s
CodeQuality CodeQuality #4546: Merge group checks requested
2m 31s
2m 31s
Tests Tests #4467: Merge group checks requested
42m 22s
42m 22s
Handle Switch in Taclets w/o Transformer CodeQuality #4545: Pull request #3761 synchronize by Drodt
1m 31s Drodt:match-switch
Drodt:match-switch
1m 31s
Handle Switch in Taclets w/o Transformer Tests #4466: Pull request #3761 synchronize by Drodt
1m 59s Drodt:match-switch
Drodt:match-switch
1m 59s
Purge sort depending functions in favor of parametric functions Tests #4465: Pull request #3773 synchronize by Drodt
44m 7s purge-sort-depending-fn
purge-sort-depending-fn
44m 7s
Purge sort depending functions in favor of parametric functions CodeQuality #4544: Pull request #3773 synchronize by Drodt
2m 31s purge-sort-depending-fn
purge-sort-depending-fn
2m 31s
Optional Tests Optional Tests #180: Scheduled
6h 5m 3s main
main
6h 5m 3s