ci: serialize deploys to prevent gh-pages race#113

mre merged 1 commit into

mastercorrode/corrode.github.io:masterfrom

ci/serialize-deployscorrode/corrode.github.io:ci/serialize-deploysCopy head branch name to clipboard