Rename master into main in the Github CI

This commit is contained in:
Kerollmops 2021-03-11 14:44:47 +01:00
parent 38b6e8decd
commit 0cc3132f5a
No known key found for this signature in database
GPG Key ID: 92ADA4E935E71FA4

View File

@ -2,9 +2,9 @@ name: Continuous integration
on: on:
push: push:
branches: [ master ] branches: [ main ]
pull_request: pull_request:
branches: [ master ] branches: [ main ]
jobs: jobs:
ci: ci: