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

Merge pull request #8669 from colinux/merge-queue

Browse source 
ci: enable merge queue (merge group)
This commit is contained in:
Colin Darie 2023-02-22 14:35:07 +01:00 • committed by GitHub
commit b245c3a8fa
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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: