Skip to content

Actions: Drodt/key

Actions

CodeQuality

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
code_quality.yml
36 workflow runs
36 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
Improve MT experience for Scripts/Macros (#3973) CodeQuality #173: Commit e60a4bf pushed by Drodt
2m 28s main
main
2m 28s
Formalize LocSet as Set of Locations (#3962) CodeQuality #172: Commit 558b12f pushed by Drodt
2m 39s main
main
2m 39s
Bump the gradle-deps group with 7 updates (#3953) CodeQuality #171: Commit 904243d pushed by Drodt
3m 35s main
main
3m 35s
Performance Series 2 (4/5): Lower memory for the per-goal rule-applic… CodeQuality #170: Commit 118d7b9 pushed by Drodt
2m 46s main
main
2m 46s
feat: parametric cast function + cast insertion in taclet application CodeQuality #169: Pull request #21 synchronize by Drodt
1m 31s rusty-casts
rusty-casts
1m 31s
feat: parametric cast function + cast insertion in taclet application CodeQuality #168: Pull request #21 synchronize by Drodt
1m 35s rusty-casts
rusty-casts
1m 35s
fix: enforce function argument sorts at term construction CodeQuality #167: Pull request #20 synchronize by Drodt
1m 40s rusty-fix-argument-sorts
rusty-fix-argument-sorts
1m 40s
Bump the gradle-deps group across 1 directory with 8 updates (#3818) CodeQuality #166: Commit 0ded373 pushed by Drodt
2m 40s main
main
2m 40s
gui: KeYther, a Swing GUI for the Rusty prover CodeQuality #165: Pull request #22 synchronize by unp1
1m 58s rusty-gui
rusty-gui
1m 58s
fix: enforce function argument sorts at term construction CodeQuality #164: Pull request #20 synchronize by unp1
1m 43s rusty-fix-argument-sorts
rusty-fix-argument-sorts
1m 43s
gui: KeYther, a Swing GUI for the Rusty prover CodeQuality #163: Pull request #22 opened by unp1
2m 3s rusty-gui
rusty-gui
2m 3s
feat: parametric cast function + cast insertion in taclet application CodeQuality #162: Pull request #21 opened by unp1
2m 9s rusty-casts
rusty-casts
2m 9s
fix: enforce function argument sorts at term construction CodeQuality #161: Pull request #20 opened by unp1
2m 0s rusty-fix-argument-sorts
rusty-fix-argument-sorts
2m 0s
fix: wary substitution + concrete subst parsing + de Bruijn shadowing CodeQuality #160: Pull request #19 opened by unp1
1m 57s rusty-debruijn
rusty-debruijn
1m 57s
Bump the gradle-deps group across 1 directory with 7 updates (#3815) CodeQuality #159: Commit 17e9fe5 pushed by Drodt
2m 32s main
main
2m 32s
Bump the gradle-deps group with 3 updates (#3807) CodeQuality #158: Commit 7c612a5 pushed by Drodt
4m 10s main
main
4m 10s
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