ci: do not block on lint for docker publish

Dockerfiles should have been linted already
LIHPC-Computational-Geometry · Dec 8, 2023 · fef0c5e · fef0c5e
1 parent 2ce565b
commit fef0c5e
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/.github/workflows/docker-publish.yml b/.github/workflows/docker-publish.yml
@@ -29,12 +29,6 @@ jobs:
       - name: Checkout repository
         uses: actions/checkout@v2
 
-      - name: Lint Dockerfile
-        uses: hadolint/hadolint-action@master
-        with:
-          dockerfile: "Dockerfile"
-          ignore: 'DL3006,DL3008' # DL3006: false positive, rust image has a tag
-
       # Login against a Docker registry except on PR
       # https://github.com/docker/login-action
       - name: Log into registry ${{ env.REGISTRY }}