Repository navigation

Run Docker build in CI - #90

Merged

Gerrrr merged 2 commits into

ci-docker-build

Sep 9, 2025

Merged

Run Docker build in CI#90
Gerrrr merged 2 commits into
masterfrom
ci-docker-build

Commits on Sep 6, 2025
- Reduce Docker image size
  Gerrrr
  committed
  5d51fc6
- Run Docker build in CI
  Gerrrr
  committed
  47f1fcc