Isolate casatools dependency to a single example folder#8

Merged

iancze merged 7 commits into

mainfrom

May 23, 2026

Commits on May 22, 2026

Added Dockerfile commands to build casatools container, locally and via GitHub Actions.
iancze
committed

Commits on May 23, 2026