diff options
| author | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-01-27 14:23:07 +0100 |
|---|---|---|
| committer | MarcoFalke <*~=`'#}+{/-|&$^_@721217.xyz> | 2023-01-27 15:05:29 +0100 |
| commit | faa65f12fc137231c0333330f670847473650028 (patch) | |
| tree | 0eb5f0f73d559e3f12b17d54a0c26b00a97f074e /.cirrus.yml | |
| parent | ffc22b7d42c6360223508293b8c1f88b1a1a468b (diff) | |
ci: Fetch no git history, unless lint
Diffstat (limited to '.cirrus.yml')
| -rw-r--r-- | .cirrus.yml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.cirrus.yml b/.cirrus.yml index 97fe9866ae..64fcd82c2b 100644 --- a/.cirrus.yml +++ b/.cirrus.yml @@ -1,4 +1,5 @@ env: # Global defaults + CIRRUS_CLONE_DEPTH: 1 PACKAGE_MANAGER_INSTALL: "apt-get update && apt-get install -y" MAKEJOBS: "-j10" TEST_RUNNER_PORT_MIN: "14000" # Must be larger than 12321, which is used for the http cache. See https://cirrus-ci.org/guide/writing-tasks/#http-cache @@ -27,7 +28,7 @@ base_template: &BASE_TEMPLATE # Unconditionally install git (used in fingerprint_script). - bash -c "$PACKAGE_MANAGER_INSTALL git" - if [ "$CIRRUS_PR" = "" ]; then exit 0; fi - - git fetch $CIRRUS_REPO_CLONE_URL "pull/${CIRRUS_PR}/merge" + - git fetch --depth=1 $CIRRUS_REPO_CLONE_URL "pull/${CIRRUS_PR}/merge" - git checkout FETCH_HEAD # Use merged changes to detect silent merge conflicts # Also, the merge commit is used to lint COMMIT_RANGE="HEAD~..HEAD" @@ -76,6 +77,8 @@ task: python_cache: folder: "/tmp/python" fingerprint_script: cat .python-version /etc/os-release + unshallow_script: + - git fetch --unshallow --no-tags lint_script: - ./ci/lint_run_all.sh env: |