From a97594356401f2499f913eefd1f6afcf41eeb36a Mon Sep 17 00:00:00 2001
From: iphydf <iphydf@users.noreply.github.com>
Date: Tue, 30 Jan 2024 09:11:44 +0000
Subject: [PATCH] chore: Really fix coverage docker image build.

It made progress, but then the last step failed.
---
 .github/workflows/post-submit.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/post-submit.yml b/.github/workflows/post-submit.yml
index 51ed927d..540829e4 100644
--- 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