diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 192867b..9323c3b 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -24,6 +24,7 @@ jobs: GITHUB_DEPLOY_KEY: ${{ secrets.DEPLOY_KEY }} run: | touch book/.nojekyll + cp googled62299e9391332c4.html book/googled62299e9391332c4.html echo ${{ env.CNAME }} > book/CNAME rustc deploy.rs -o /tmp/deploy cd book diff --git a/googled62299e9391332c4.html b/googled62299e9391332c4.html new file mode 100755 index 0000000..3345948 --- /dev/null +++ b/googled62299e9391332c4.html @@ -0,0 +1 @@ +google-site-verification: googled62299e9391332c4.html \ No newline at end of file