1
0
mirror of https://blitiri.com.ar/repos/chasquid synced 2025-12-17 14:37:02 +00:00

ci: Rename master branch to main

These days `main` is more common, and I find it more intuitive.
This commit is contained in:
Alberto Bertogli
2024-04-19 18:57:30 +01:00
parent 7a2e49c849
commit 6ff08b1ec2
6 changed files with 15 additions and 15 deletions

View File

@@ -2,10 +2,10 @@ name: "CodeQL"
on:
push:
branches: [ "master", "next" ]
branches: [ "main", "next" ]
pull_request:
# The branches below must be a subset of the branches above
branches: [ "master", "next" ]
branches: [ "main", "next" ]
schedule:
- cron: '29 21 * * 6'