summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMatthew Pickering <matthewtpickering@gmail.com>2023-01-13 15:34:51 +0000
committerMatthew Pickering <matthewtpickering@gmail.com>2023-01-14 16:22:44 +0000
commit4285ce8a8eaafcef6283719d3bdfb7045382e679 (patch)
treeb267d206e7456a20066aeb2e283054e9c3928ee2
parent496607fdb77baf12e2fe263104ba5d0d700eee3b (diff)
downloadhaskell-4285ce8a8eaafcef6283719d3bdfb7045382e679.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.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 42552644fb..c1d3461eda 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