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
Fix naming and renaming issues Tests #4431: Pull request #3804 synchronize by unp1
43m 35s fixMergeRuleRenaming
fixMergeRuleRenaming
43m 35s
Fix naming and renaming issues CodeQuality #4510: Pull request #3804 synchronize by unp1
2m 21s fixMergeRuleRenaming
fixMergeRuleRenaming
2m 21s
Fix naming and renaming issues Tests #4430: Pull request #3804 synchronize by unp1
43m 3s fixMergeRuleRenaming
fixMergeRuleRenaming
43m 3s
Fix naming and renaming issues CodeQuality #4509: Pull request #3804 synchronize by unp1
2m 32s fixMergeRuleRenaming
fixMergeRuleRenaming
2m 32s
Fix naming and renaming issues Tests #4429: Pull request #3804 synchronize by unp1
35m 55s fixMergeRuleRenaming
fixMergeRuleRenaming
35m 55s
Fix naming and renaming issues CodeQuality #4508: Pull request #3804 synchronize by unp1
2m 37s fixMergeRuleRenaming
fixMergeRuleRenaming
2m 37s
Fix naming and renaming issues CodeQuality #4507: Pull request #3804 opened by unp1
1m 33s fixMergeRuleRenaming
fixMergeRuleRenaming
1m 33s
Fix naming and renaming issues Tests #4428: Pull request #3804 opened by unp1
42m 40s fixMergeRuleRenaming
fixMergeRuleRenaming
42m 40s
MetaSpace for documentation and origin CodeQuality #4506: Pull request #3787 synchronize by wadoon
2m 34s weigl/metaspace
weigl/metaspace
2m 34s
MetaSpace for documentation and origin Tests #4427: Pull request #3787 synchronize by wadoon
44m 35s weigl/metaspace
weigl/metaspace
44m 35s
gradle in /. for org.apache.logging.log4j:log4j-core - Update #1322051988 Dependabot Updates #147: by dependabot bot
44s main
main
44s
gradle in /. for org.codehaus.plexus:plexus-utils - Update #1322018987 Dependabot Updates #146: by dependabot bot
41s main
main
41s
gradle in /. for org.apache.logging.log4j:log4j-core - Update #1321950242 Dependabot Updates #145: by dependabot bot
38s main
main
38s
Weekly Builds of KeY Weekly Builds of KeY #188: Scheduled
6m 44s main
main
6m 44s
gradle in /. for org.apache.logging.log4j:log4j-core - Update #1319289527 Dependabot Updates #144: by dependabot bot
45s main
main
45s
gradle in /. for net.sourceforge.pmd:pmd-core - Update #1319289199 Dependabot Updates #143: by dependabot bot
40s main
main
40s
gradle in /. for org.codehaus.plexus:plexus-utils - Update #1319289093 Dependabot Updates #142: by dependabot bot
48s main
main
48s
MetaSpace for documentation and origin CodeQuality #4505: Pull request #3787 synchronize by wadoon
2m 21s weigl/metaspace
weigl/metaspace
2m 21s
MetaSpace for documentation and origin Tests #4426: Pull request #3787 synchronize by wadoon
43m 6s weigl/metaspace
weigl/metaspace
43m 6s
MetaSpace for documentation and origin Tests #4425: Pull request #3787 synchronize by wadoon
42m 28s weigl/metaspace
weigl/metaspace
42m 28s
MetaSpace for documentation and origin CodeQuality #4504: Pull request #3787 synchronize by wadoon
2m 34s weigl/metaspace
weigl/metaspace
2m 34s
Proof Scripts in JML Tests #4424: Pull request #3657 synchronize by wadoon
48m 39s mattulbrich:jmlScripts
mattulbrich:jmlScripts
48m 39s
Proof Scripts in JML CodeQuality #4503: Pull request #3657 synchronize by wadoon
2m 23s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 23s
Proof Scripts in JML CodeQuality #4502: Pull request #3657 synchronize by wadoon
2m 23s mattulbrich:jmlScripts
mattulbrich:jmlScripts
2m 23s
Proof Scripts in JML Tests #4423: Pull request #3657 synchronize by wadoon
41m 40s mattulbrich:jmlScripts
mattulbrich:jmlScripts
41m 40s