Change branch name from 'master' to 'main'

This commit is contained in:
Daniel Lemire 2025-12-29 10:47:36 -05:00 committed by GitHub
parent dd77fb5e4c
commit fd85e52349
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -3,10 +3,10 @@ name: Ubuntu s390x (GCC 11)
on:
push:
branches:
- master
- main
pull_request:
branches:
- master
- main
jobs:
build: