Migrate to cava-devops centralised CI/CD - #28

Merged

nicoloesch merged 8 commits into

mainfrom

Jul 20, 2026

Commits on Jul 7, 2026

Implement cava-devops changes for new CI/CD
nicoloesch
committed
d95da92

Commits on Jul 12, 2026

Run merge.yml only on main
nicoloesch
committed
0c2f8c9

Commits on Jul 15, 2026

Standardise dev deps to optional-dependencies, fix merge.yml permissions
nicoloesch
committed
951542d
Fix unconfigured resources
nicoloesch
committed
a7dcee0

Commits on Jul 16, 2026

Support ty as static type checker
nicoloesch
committed
951cd95

Commits on Jul 20, 2026

Fix ty static typing
nicoloesch
committed
5678dc6
Update lock file and linting
nicoloesch
committed
5b8ebc3
Grant correct CI permission
nicoloesch
committed
7f0393e