From dbaedd4ed7f5302921177107d8010e557f28a52c Mon Sep 17 00:00:00 2001 From: Christian Clauss Date: Fri, 15 Nov 2019 03:22:23 +0100 Subject: [PATCH] || true (#1572) * || true * 3.8 * python: 3.x --- .github/workflows/directory_writer.yml | 14 ++++---------- 1 file changed, 4 insertions(+), 10 deletions(-) diff --git a/.github/workflows/directory_writer.yml b/.github/workflows/directory_writer.yml index 76c7a5cc1..e021051fe 100644 --- a/.github/workflows/directory_writer.yml +++ b/.github/workflows/directory_writer.yml @@ -5,22 +5,16 @@ on: [push] jobs: build: runs-on: ubuntu-latest - strategy: - max-parallel: 1 - matrix: - python-version: [3.7] - steps: - uses: actions/checkout@v1 - - name: Set up Python ${{ matrix.python-version }} - uses: actions/setup-python@v1 + - uses: actions/setup-python@v1 with: - python-version: ${{ matrix.python-version }} + python-version: 3.x - name: Update DIRECTORY.md run: | scripts/build_directory_md.py 2>&1 | tee DIRECTORY.md git config --global user.name github-actions git config --global user.email '${GITHUB_ACTOR}@users.noreply.github.com' git remote set-url origin https://x-access-token:${{ secrets.GITHUB_TOKEN }}@github.com/$GITHUB_REPOSITORY - git commit -am "updating DIRECTORY.md" - git push --force origin HEAD:$GITHUB_REF + git commit -am "updating DIRECTORY.md" || true + git push --force origin HEAD:$GITHUB_REF || true