Fix merge queue building twice.

This commit is contained in:
Eric Huss 2023-07-18 14:12:20 -07:00
parent 5b7b38309c
commit a0ae62bf56
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: