diff options
author | Matthew Pickering <matthewtpickering@gmail.com> | 2023-01-13 15:34:51 +0000 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-01-16 20:51:25 -0500 |
commit | 6a5845fb6bb6fbf0deaf01ff20499da22d6471ca (patch) | |
tree | e051c72cfb73720955488b24b8cb631336fd3f9d | |
parent | 99d151bbd6a1407e73032ae597828dba59b4d01e (diff) | |
download | haskell-6a5845fb6bb6fbf0deaf01ff20499da22d6471ca.tar.gz |
ci: Change owner of files in source-tarball job
This fixes errors of the form:
```
fatal: detected dubious ownership in repository at '/builds/ghc/ghc'
To add an exception for this directory, call:
git config --global --add safe.directory /builds/ghc/ghc
inferred 9.7.20230113
checking for GHC Git commit id... fatal: detected dubious ownership in repository at '/builds/ghc/ghc'
To add an exception for this directory, call:
git config --global --add safe.directory /builds/ghc/ghc
```
-rw-r--r-- | .gitlab-ci.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 0307160665..1a53d4fd39 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -579,6 +579,7 @@ source-tarball: paths: - ghc-*.tar.xz script: + - sudo chown ghc:ghc -R . - ./boot - ./configure - ./hadrian/build source-dist |