Merge pull request #541 from antmicro/umarcor/ci/prevent-double

ci: prevent dual execution of dependabot updates
This commit is contained in:
Karol Gugala 2022-03-30 15:04:16 +02:00 committed by GitHub
commit d139fc549f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -10,6 +10,7 @@ on:
jobs: jobs:
Docs: Docs:
if: ${{ !(github.event_name != 'pull_request' && github.actor == 'dependabot[bot]') }}
runs-on: ubuntu-latest runs-on: ubuntu-latest
name: '📓 Docs' name: '📓 Docs'
steps: steps: