diff options
| author | Junio C Hamano <gitster@pobox.com> | 2020-09-09 23:53:08 +0300 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2020-09-09 23:53:08 +0300 |
| commit | 7364aee138326303371c1a17d3259912366c1b55 (patch) | |
| tree | 00b7cf02bc7df3cba1c7fec991863b5ba6c50e7d | |
| parent | 6e5f930fe25230ca5ee72f8512a421783fbd48bf (diff) | |
| parent | 2fcf7a8c65605530380b263a60f0bb8e2c0bfc7b (diff) | |
Merge branch 'js/ci-squelch-false-failure'
CI noise reduction.
* js/ci-squelch-false-failure:
ci: avoid ugly "failure" in the `ci-config` job
ci: fix indentation of the `ci-config` job
| -rw-r--r-- | .github/workflows/main.yml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 30425404eb..fcfd138ff1 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -12,7 +12,6 @@ jobs: enabled: ${{ steps.check-ref.outputs.enabled }} steps: - name: try to clone ci-config branch - continue-on-error: true run: | git -c protocol.version=2 clone \ --no-tags \ @@ -23,8 +22,8 @@ jobs: --filter=blob:none \ https://github.com/${{ github.repository }} \ config-repo && - cd config-repo && - git checkout HEAD -- ci/config + cd config-repo && + git checkout HEAD -- ci/config || : ignore - id: check-ref name: check whether CI is enabled for ref run: | |