Skip to content

Actions: Drodt/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
38 workflow runs
38 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
Ghost Code for Rust CodeQuality #157: Pull request #18 synchronize by Drodt
1m 48s yseulp:ghosty_rusty
yseulp:ghosty_rusty
1m 48s
Ghost Code for Rust CodeQuality #156: Pull request #18 synchronize by Drodt
1m 32s yseulp:ghosty_rusty
yseulp:ghosty_rusty
1m 32s
Ghost Code for Rust CodeQuality #155: Pull request #18 synchronize by Drodt
1m 47s yseulp:ghosty_rusty
yseulp:ghosty_rusty
1m 47s
Bump actions/upload-artifact from 6 to 7 in the github-actions-deps g… CodeQuality #154: Commit e212d75 pushed by Drodt
2m 54s main
main
2m 54s
Moving Strategies to NCore CodeQuality #153: Pull request #17 opened by unp1
1m 40s KeYProject:ncore-strategies
KeYProject:ncore-strategies
1m 40s
KeY/JSON config for SMT solvers (#3597) CodeQuality #152: Commit ad77331 pushed by Drodt
2m 35s main
main
2m 35s
Bump the gradle-deps group across 1 directory with 6 updates (#3695) CodeQuality #151: Commit 012874a pushed by Drodt
3m 9s main
main
3m 9s
Fix proof task tree forced white background. (#3663) CodeQuality #150: Commit 7750e75 pushed by Drodt
2m 30s main
main
2m 30s
Enable assertion for :key.ui:run (#3682) CodeQuality #149: Commit 8c09511 pushed by Drodt
2m 56s main
main
2m 56s
Fix NPE in dependency contract feature (caused by pulled out expressi… CodeQuality #148: Commit 907f7b1 pushed by Drodt
3m 3s main
main
3m 3s
Higher Order Proof Scripts (#3654) CodeQuality #147: Commit 5aa36a1 pushed by Drodt
2m 59s main
main
2m 59s
Bump the github-actions-deps group with 2 updates (#3656) CodeQuality #146: Commit a010f77 pushed by Drodt
2m 49s main
main
2m 49s
Improvements for AbbrevMap (#3647) CodeQuality #145: Commit a53e7f9 pushed by Drodt
2m 48s main
main
2m 48s
Bump the gradle-deps group with 7 updates (#3646) CodeQuality #144: Commit 4d3ce41 pushed by Drodt
2m 46s main
main
2m 46s
Translation of bitwise operators (#3172) CodeQuality #143: Commit 8f69654 pushed by Drodt
2m 30s main
main
2m 30s
Indent switch expressions (#3636) CodeQuality #142: Commit 4073d8c pushed by Drodt
3m 40s main
main
3m 40s
Fix multiple SLF4J providers (#3639) CodeQuality #141: Commit c565f07 pushed by Drodt
2m 36s main
main
2m 36s
Fix deprecations in build files (#3637) CodeQuality #140: Commit e5d9c81 pushed by Drodt
2m 36s main
main
2m 36s
Reduce raw usage of classes (#3634) CodeQuality #139: Commit 708f01d pushed by Drodt
3m 45s main
main
3m 45s
Fix SMT ApplyAction not pruning when undoing (#3606) CodeQuality #138: Commit bcc69e9 pushed by Drodt
4m 28s main
main
4m 28s
Cleanup: Use Standard Tech for Test Fixtures (#3551) CodeQuality #137: Commit 4cbaeda pushed by Drodt
2m 40s main
main
2m 40s
Cleanup: Remove antlr3 + antlr2 from the classpath (#3624) CodeQuality #136: Commit 2402651 pushed by Drodt
2m 37s main
main
2m 37s
Rename core Term/Operator/... to JTerm/JOperator... to avoid name c… CodeQuality #135: Commit 79e5ae6 pushed by Drodt
2m 16s main
main
2m 16s
Migration to java.nio.Path (#3618) CodeQuality #134: Commit 71bc6c7 pushed by Drodt
2m 41s main
main
2m 41s
Remove duplicate NewDependingOn class (#3615) CodeQuality #133: Commit ce897db pushed by Drodt
2m 23s main
main
2m 23s