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