Merge pull request #1383 from ehuss/fix-queue

Fix merge queue building twice.
This commit is contained in:
Eric Huss 2023-07-29 22:29:51 +00:00 committed by GitHub
commit 9cd5c5a6cc
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 0 additions and 2 deletions

View File

@ -1,7 +1,5 @@
name: CI
on:
push:
branches-ignore: [master]
pull_request:
merge_group: