From 2a2607f5d81a6c6481e6a7a499ec6d759a564476 Mon Sep 17 00:00:00 2001 From: Alberto Bertogli Date: Sun, 30 Mar 2025 21:35:03 +0100 Subject: [PATCH] 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. --- .github/workflows/docker.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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