Don't run CI twice (on push AND pull request)

This commit is contained in:
yhirose 2025-02-14 14:19:54 -05:00
parent d74e4a7c9c
commit 3c4b96024f

View File

@ -12,6 +12,7 @@ defaults:
jobs: jobs:
abi: abi:
runs-on: ubuntu-latest runs-on: ubuntu-latest
if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github.event.pull_request.base.repo.full_name
container: container:
image: debian:testing image: debian:testing