This repository was archived by the owner on Mar 22, 2023. It is now read-only.

Move Coverity job to GHA#917

Merged

lukaszstolarczuk merged 3 commits intopmem:masterfrom

lukaszstolarczuk:move-coverity-to-gha

Oct 14, 2020

Commits on Oct 13, 2020

CI: run coverity job on GHA rather than on Travis
lukaszstolarczuk
committed
docker: simplify scripts for coverity - it runs as cron job only
lukaszstolarczuk
committed
CI: remove travis.yml - it's not executed for the moment
lukaszstolarczuk
committed