Update text and link to change primary branch from master to main (#1… #6421

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
complexity	15s
build-checks	1m 8s
doxygen	25s
formatting	14s
git-secrets	3s
link-verifier	1m 59s
proof_ci	0s
spell-check	1m 0s
unittest	2m 13s
verify-manifest	14s
	7m 31s