diff options
| author | sternenseemann <sternenseemann@systemli.org> | 2023-04-18 01:02:54 +0200 |
|---|---|---|
| committer | sternenseemann <sternenseemann@systemli.org> | 2023-04-18 01:02:54 +0200 |
| commit | 7723294b698939e2b9756c4e250110c6db018a30 (patch) | |
| tree | 76f83924f1bb5af5145ac2c626328cce5b5fe3ed | |
| parent | 5689179e7825d9c73efd77b7f753dd5fecdc39b7 (diff) | |
fix(.github): adjust for changed tag naming scheme
| -rw-r--r-- | .github/workflows/doc.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index bbbeb94..dcf5013 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -23,7 +23,7 @@ jobs: --option trusted-public-keys 'cache.tvl.su:kjc6KOMupXc1vHVufJUoDUYeLzbwSr9abcAKdn/U1Jk=' ./result -w tmp - name: Deploy output to GitHub Pages - uses: JamesIves/github-pages-deploy-action@4.4.1 + uses: JamesIves/github-pages-deploy-action@v4.4.1 with: GITHUB_TOKEN: '${{ secrets.GITHUB_TOKEN }}' BRANCH: gh-pages |