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

Commits on Jul 12, 2026

Run merge.yml only on main
nicoloesch
committed

Commits on Jul 15, 2026

Commits on Jul 16, 2026

Support ty as static type checker
nicoloesch
committed

Commits on Jul 20, 2026