ci: migrate Docker build from CircleCI to GitHub Actions (#14) - #44

Merged

Xavier Fournet (xfournet) merged 2 commits into

mainfrom

Aug 25, 2026

Commits on Aug 25, 2026

ci: migrate Docker build from CircleCI to GitHub Actions (#14)

Xavier Fournet (xfournet)
and
Claude (claude)
committed
a9c53ee
ci: drop MS Teams notification from the Docker workflow (#14)

Xavier Fournet (xfournet)
and
Claude (claude)
committed
762ab11