diff options
| author | Ben Gamari <ben@well-typed.com> | 2021-03-20 10:20:30 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@well-typed.com> | 2021-03-20 10:20:30 -0400 |
| commit | fb939498a3128de49eb149cb291b933825fde518 (patch) | |
| tree | 7ac9f3c42a407e8a755568c03d8929410523437e /.gitlab-ci.yml | |
| parent | 71e609fb1e60cf13035c69c179e3ec722b2e26c4 (diff) | |
| download | haskell-fb939498a3128de49eb149cb291b933825fde518.tar.gz | |
gitlab-ci: Always start with fresh clonewip/ci-fixes-2
Currently we are suffering from issues that appear to be
caused by non-hermetic builds. Try avoiding this by setting
`GIT_STRATEGY` to `clone`.
Diffstat (limited to '.gitlab-ci.yml')
| -rw-r--r-- | .gitlab-ci.yml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5fa73c896b..ca0eb3b842 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -11,6 +11,9 @@ variables: # Disable shallow clones; they break our linting rules GIT_DEPTH: 0 + # Always start with a fresh clone to avoid non-hermetic builds + GIT_STRATEGY: clone + # Overridden by individual jobs CONFIGURE_ARGS: "" |