diff --git a/.github/workflows/Documentation.yml b/.github/workflows/Documentation.yml index 158ea7c..f7c3c56 100644 --- a/.github/workflows/Documentation.yml +++ b/.github/workflows/Documentation.yml @@ -1,3 +1,4 @@ + name: Documentation on: push: @@ -20,3 +21,35 @@ jobs: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # For authentication with GitHub Actions token run: julia --project=docs/ docs/make.jl + + + + + + + + + + + + +# jobs: +# doc-preview-cleanup: +# runs-on: ubuntu-latest +# steps: +# - name: Checkout gh-pages branch +# uses: actions/checkout@v2 +# with: +# ref: gh-pages +# - name: Delete preview and history + push changes +# run: | +# if [ -d "previews/PR$PRNUM" ]; then +# git config user.name "EL" +# git config user.email "EL@EL.com" +# git rm -rf "previews/PR$PRNUM" +# git commit -m "delete preview" +# git branch gh-pages-new $(echo "delete history" | git commit-tree HEAD^{tree}) +# git push --force origin gh-pages-new:gh-pages +# fi +# env: +# PRNUM: ${{ github.event.number }} diff --git a/docs/Project.toml b/docs/Project.toml new file mode 100644 index 0000000..3a52a5d --- /dev/null +++ b/docs/Project.toml @@ -0,0 +1,5 @@ +[deps] +Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" + +[compat] +Documenter = "0.27"