Fix the linters image
- Jul 07, 2023
-
-
Matthew Pickering authoredFor some reason we now need to install python3-dev and also the wheel package. I don't question why because we need to fix the build.
-
Matthew Pickering authored
On recent dhall versions this leads to an error due to a mismatched hash. See: https://github.com/bgamari/dhall-gitlab-ci/pull/14
afab65dc
-