diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/doc.yml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/.github/workflows/doc.yml b/.github/workflows/doc.yml index 091b3c8..bbbeb94 100644 --- a/.github/workflows/doc.yml +++ b/.github/workflows/doc.yml @@ -8,11 +8,11 @@ jobs: doc: runs-on: ubuntu-latest steps: - - uses: actions/checkout@v2.4.0 - - uses: cachix/install-nix-action@v16 + - uses: actions/checkout@v3.5.2 + - uses: cachix/install-nix-action@v20 with: nix_path: nixpkgs=channel:nixos-unstable - - uses: cachix/cachix-action@v10 + - uses: cachix/cachix-action@v12 with: name: spacecookie authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}' @@ -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.1.7 + uses: JamesIves/github-pages-deploy-action@4.4.1 with: GITHUB_TOKEN: '${{ secrets.GITHUB_TOKEN }}' BRANCH: gh-pages |