Unnamed repository; edit this file 'description' to name the repository.
-rw-r--r--
12
-rw-r--r--
34790
-rw-r--r--
41319
me ${{ github.ref }}) echo "OUTDIR=$OUTDIR" >> $GITHUB_ENV - name: Deploy stable uses: peaceiris/actions-gh-pages@v4 if: startswith(github.ref, 'refs/tags/') with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: ./book/book - name: Deploy uses: peaceiris/actions-gh-pages@v4 with: github_token: ${{ secrets.GITHUB_TOKEN }} publish_dir: ./book/book destination_dir: ./${{ env.OUTDIR }}