CI: Prevent duplicate CI runs

This commit is contained in:
Jonathan Underwood 2023-03-22 08:19:30 -07:00 committed by GitHub
parent 24af58c5ad
commit a629bef85e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 12 additions and 2 deletions

View File

@ -1,6 +1,11 @@
name: Fuzz
on: [push, pull_request]
on:
push:
branches:
- master
- 'test-ci/**'
pull_request:
jobs:

View File

@ -1,4 +1,9 @@
on: [push, pull_request]
on:
push:
branches:
- master
- 'test-ci/**'
pull_request:
name: Continuous integration