CI: only run once for PRs with branches from original repo (#7075)

This commit is contained in:
Mihai Fufezan 2024-07-27 22:17:05 +03:00 committed by GitHub
parent 55ceca4cdd
commit 04b40ea2ec
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 7 additions and 1 deletions

View file

@ -4,6 +4,7 @@ on: [push, pull_request]
jobs:
flawfinder:
if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.fork
name: Flawfinder Checks
runs-on: ubuntu-latest
permissions: