Skip to content

Actions: KeYProject/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
1,524 workflow runs
1,524 workflow runs

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
Bump the github-actions-deps group with 3 updates (#3798) CodeQuality #4466: Commit 6f8e46b pushed by github-merge-queue Bot
3m 4s main
main
3m 4s
CodeQuality CodeQuality #4465: Merge group checks requested
2m 30s
2m 30s
CodeQuality CodeQuality #4464: Merge group checks requested
2m 33s
2m 33s
Bump the github-actions-deps group with 3 updates CodeQuality #4463: Pull request #3798 opened by dependabot Bot
2m 30s dependabot/github_actions/github-actions-deps-7805aae39d
dependabot/github_actions/github-actions-deps-7805aae39d
2m 30s
Bump the gradle-deps group with 8 updates CodeQuality #4462: Pull request #3797 opened by dependabot Bot
2m 28s dependabot/gradle/gradle-deps-cc49fadf6d
dependabot/gradle/gradle-deps-cc49fadf6d
2m 28s
Record support by transformation CodeQuality #4461: Pull request #3758 synchronize by wadoon
2m 38s weigl/recordbytrans
weigl/recordbytrans
2m 38s
Suppression of log for non-failing test classes CodeQuality #4460: Pull request #3746 synchronize by Drodt
2m 25s weigl/testlogging
weigl/testlogging
2m 25s
Purge sort depending functions in favor of parametric functions CodeQuality #4459: Pull request #3773 synchronize by Drodt
2m 20s purge-sort-depending-fn
purge-sort-depending-fn
2m 20s
Purge sort depending functions in favor of parametric functions CodeQuality #4458: Pull request #3773 synchronize by Drodt
2m 30s purge-sort-depending-fn
purge-sort-depending-fn
2m 30s
Support for TextBlockLiterals CodeQuality #4457: Pull request #3796 synchronize by wadoon
2m 31s weigl/textblock
weigl/textblock
2m 31s
Support for TextBlockLiterals CodeQuality #4456: Pull request #3796 opened by wadoon
2m 23s weigl/textblock
weigl/textblock
2m 23s
Fix field names in Isabelle translation (#3795) CodeQuality #4455: Commit 88c07fb pushed by github-merge-queue Bot
3m 4s main
main
3m 4s
Purge sort depending functions in favor of parametric functions CodeQuality #4454: Pull request #3773 synchronize by Drodt
2m 24s purge-sort-depending-fn
purge-sort-depending-fn
2m 24s
CodeQuality CodeQuality #4453: Merge group checks requested
2m 45s
2m 45s
Fix field names in Isabelle translation CodeQuality #4452: Pull request #3795 synchronize by unp1
2m 23s fixIsabelleTranslation
fixIsabelleTranslation
2m 23s
Fix field names in Isabelle translation CodeQuality #4451: Pull request #3795 synchronize by unp1
2m 29s fixIsabelleTranslation
fixIsabelleTranslation
2m 29s
Fix field names in Isabelle translation CodeQuality #4450: Pull request #3795 synchronize by unp1
2m 24s fixIsabelleTranslation
fixIsabelleTranslation
2m 24s
Fix field names in Isabelle translation CodeQuality #4449: Pull request #3795 opened by unp1
2m 43s fixIsabelleTranslation
fixIsabelleTranslation
2m 43s
Purge sort depending functions in favor of parametric functions CodeQuality #4448: Pull request #3773 synchronize by Drodt
2m 51s purge-sort-depending-fn
purge-sort-depending-fn
2m 51s
Options Panel in Load Dialog. Options in Recent Files CodeQuality #4447: Pull request #3788 synchronize by wadoon
2m 56s weigl/loadoptionpanel
weigl/loadoptionpanel
2m 56s
Options Panel in Load Dialog. Options in Recent Files CodeQuality #4446: Pull request #3788 synchronize by wadoon
2m 44s weigl/loadoptionpanel
weigl/loadoptionpanel
2m 44s
weigl/jmlparser CodeQuality #4445: Pull request #3791 synchronize by wadoon
1m 34s weigl/jmlparser
weigl/jmlparser
1m 34s
weigl/jmlparser CodeQuality #4444: Pull request #3791 synchronize by wadoon
1m 39s weigl/jmlparser
weigl/jmlparser
1m 39s
Record support by transformation CodeQuality #4443: Pull request #3758 synchronize by wadoon
2m 30s weigl/recordbytrans
weigl/recordbytrans
2m 30s
Record support by transformation CodeQuality #4442: Pull request #3758 synchronize by wadoon
2m 24s weigl/recordbytrans
weigl/recordbytrans
2m 24s