diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml index 085ada5c..a3d806aa 100644 --- a/.github/workflows/deploy.yml +++ b/.github/workflows/deploy.yml @@ -57,7 +57,7 @@ jobs: color=$(printf "%x%x%x" $((255-$percentage)) $((155+$percentage)) 85) opam exec -- ocb --style classic --label $label --status $percentage'%' --color $color > doc/coverage/badge.svg - name: deploy - uses: JamesIves/github-pages-deploy-action@v4.6.4 + uses: JamesIves/github-pages-deploy-action@v4.6.8 with: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} BRANCH: gh-pages