Change branch for CI

main
Aloïs Micard 11 months ago
parent 5491f5c3e7
commit 5fd46ad338

@ -3,7 +3,8 @@ name: Continuous Integration
on:
push:
branches:
- master
- main
- devel
pull_request:
env:

Loading…
Cancel
Save