Infra: run pre-commit on merge groups (#2960)

This commit is contained in:
Adrien Leravat
2023-06-28 17:21:54 -07:00
committed by GitHub
parent 7bcfe7df59
commit f091a45c19
+1
View File
@@ -6,6 +6,7 @@ name: pre-commit
on:
pull_request:
merge_group:
push:
branches: [trunk]