diff options
| author | Arthur Cohen <arthur.cohen@embecosm.com> | 2023-03-15 17:51:17 +0100 |
|---|---|---|
| committer | CohenArthur <arthur.cohen@embecosm.com> | 2023-03-20 14:06:22 +0000 |
| commit | 99d89fda0b66307d13a926c69087c181439062b5 (patch) | |
| tree | 1a861f5583ff9253ea627b6aa9e6a0383e5bdcb9 | |
| parent | 09bdaafaf26ec5c4666785d7fa0133d06d575775 (diff) | |
| download | gcc-99d89fda0b66307d13a926c69087c181439062b5.zip gcc-99d89fda0b66307d13a926c69087c181439062b5.tar.gz gcc-99d89fda0b66307d13a926c69087c181439062b5.tar.bz2 | |
ci: Do not run `check-gccrs-prefix` on PRs to master
ChangeLog:
* .github/workflows/commit-format.yml: Skip job on PRs to master.
| -rw-r--r-- | .github/workflows/commit-format.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/commit-format.yml b/.github/workflows/commit-format.yml index 6ccb99b..10cb5a0 100644 --- a/.github/workflows/commit-format.yml +++ b/.github/workflows/commit-format.yml @@ -34,10 +34,10 @@ jobs: check-commit-prefixes: runs-on: ubuntu-latest name: check-gccrs-prefix + if: ${{ github.base_ref == 'gcc-patch-dev' }} # master commits don't need the gccrs prefix steps: - uses: actions/checkout@v3 - if: ${{ github.base_ref == 'gcc-patch-dev' }} # master commits don't need the gccrs prefix with: ref: ${{ github.event.pull_request.head.sha }} fetch-depth: 0 |