[INTERNAL] Rename default branch to 'main' #539
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
github-ci.yml
on: pull_request
General checks, tests and coverage reporting
24s
Matrix: test-matrix
Annotations
10 warnings