Alberto Bertogli 2a2607f5d8 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.

2025-03-31 09:19:45 +01:00

..

workflows

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

2025-03-31 09:19:45 +01:00