diff --git a/.github/workflows/docker.yaml b/.github/workflows/docker.yaml index a6a7fcae..8873d060 100644 --- a/.github/workflows/docker.yaml +++ b/.github/workflows/docker.yaml @@ -2,7 +2,13 @@ name: Docker on: push: - # Publish `main` as Docker `latest` image. + branches: + - main + paths-ignore: + - web/** + - doc/** + + pull_request: branches: - main paths-ignore: