chore: Really fix coverage docker image build.

It made progress, but then the last step failed.
TokTok · Jan 30, 2024 · a975943 · a975943
1 parent c084093
commit a975943
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/post-submit.yml b/.github/workflows/post-submit.yml
@@ -36,7 +36,7 @@ jobs:
       - name: Build and push
         uses: docker/build-push-action@v4
         with:
-          file: other/docker/coverage/Dockerfile
+          file: other/docker/coverage/coverage.Dockerfile
           push: ${{ github.event_name == 'push' }}
           tags: toxchat/c-toxcore:coverage
           cache-from: type=registry,ref=toxchat/c-toxcore:coverage