[INTERNAL] Rename default branch to 'main' #539
github-ci.yml
on: pull_request
General checks, tests and coverage reporting
24s
Matrix: test-matrix
Annotations
10 warnings