summaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorDavid Allsopp <david.allsopp@metastack.com>2022-04-19 19:29:06 +0100
committerDavid Allsopp <david.allsopp@metastack.com>2022-07-22 08:15:51 +0100
commit430b226badc3ce7b637ffa349c34cff479702e5a (patch)
treeb1bd9dfde2fb2c8683d51e79b28bb8463c2a9bd7 /.github/workflows
parent03571456497b6f63ab6ebac66b07b56eea6d2616 (diff)
downloadocaml-430b226badc3ce7b637ffa349c34cff479702e5a.tar.gz
Reset git credential configuration before upload
The credential store won't have been configured when the artefact is checked out, so disable the header override before uploading it.
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/build.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 60ee6d3bda..c632a0a8c9 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -31,6 +31,7 @@ jobs:
MAKE_ARG=-j bash -xe tools/ci/actions/runner.sh build
- name: Prepare Artifact
run: |
+ git config --local --unset http.https://github.com/.extraheader
tar --zstd -cf /tmp/sources.tar.zstd .
- name: Upload Artifact
uses: actions/upload-artifact@v2