From 6a5845fb6bb6fbf0deaf01ff20499da22d6471ca Mon Sep 17 00:00:00 2001 From: Matthew Pickering Date: Fri, 13 Jan 2023 15:34:51 +0000 Subject: 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 ``` --- .gitlab-ci.yml | 1 + 1 file changed, 1 insertion(+) (limited to '.gitlab-ci.yml') 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 -- cgit v1.2.1