DGNum/demarches-normaliennes
14
1
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity

ci: enable merge queue (merge group)

Browse source
This commit is contained in:
Colin Darie 2023-02-21 18:28:48 +01:00
parent a0f828a9ba
commit 283804ec74
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
.github/workflows/ci.yml vendored
View file

@ -1,9 +1,11 @@
name: Continuous Integration
on:
push:
branches: 'main'
branches: [main]
pull_request:
branches: 'main'
branches: [main]
merge_group:
branches: [main]
jobs:
linters: