git » chasquid » commit 2a2607f

github: Docker public image build doesn't depend on coverage

github: Docker public image build doesn't depend on coverage

Today, the step to build the Docker public image depends on the coverage
run. This dependency isn't necessary, as the coverage could be failing
for a variety of reasons (e.g. codecov being down) and doesn't signal
any problem with chasquid itself.

So this patch fixes that: if the integration tests pass, then that is
good enough for building the public image.

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index bf8c3c5..095c0b6 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -57,7 +57,7 @@ jobs:
   public-image:
     runs-on: ubuntu-latest
     timeout-minutes: 15
-    needs: [integration, coverage]
+    needs: [integration]
     if: github.event_name == 'push'
     steps:
       - uses: actions/checkout@v4