From 0125d78a04e9c8509869b26c4161e159c2b6eafb Mon Sep 17 00:00:00 2001 From: alschmiedt Date: Mon, 8 Nov 2021 08:41:44 -0800 Subject: [PATCH] chore: revert github action (#5675) --- .github/workflows/report_clang_format.yml | 30 ----------------------- 1 file changed, 30 deletions(-) delete mode 100644 .github/workflows/report_clang_format.yml diff --git a/.github/workflows/report_clang_format.yml b/.github/workflows/report_clang_format.yml deleted file mode 100644 index faa354178..000000000 --- a/.github/workflows/report_clang_format.yml +++ /dev/null @@ -1,30 +0,0 @@ -name: Report clang format - -# Runs after the Check clang format workflow (check_clang_format.yml) to -# post a helpful comment to the PR if the check failed. -# -# N.B.: Per https://github.community/t/workflow-runs-not-starting-after-previous-workflow-completes/128345/8 -# only the version of this workflow on the master (default) branch -# will be run, regardless of what branch is targetted by the PR being -# checked by check_clang_format.yml. -# -# N.B.: Runs with a read-write repo token. Do not check out the -# submitted branch! -on: - workflow_run: - workflows: ["Check clang format"] - types: - - completed - -jobs: - on-failure: - runs-on: ubuntu-latest - if: ${{ github.event.workflow_run.conclusion == 'failure' }} - steps: - - uses: actions/github-script@v5 - with: - script: | - // Not sure yet how to find out which PR triggered the run, so - // dump the whole github.event object to try to find useful - // information. - console.log('%o', github.event);