Skip to content

Commit

Permalink
website
Browse files Browse the repository at this point in the history
  • Loading branch information
Devetak committed Jan 22, 2024
1 parent bcacc83 commit dfbfa6d
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions .github/workflows/deploy_docs.yml
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,8 @@ jobs:
julia --project=docs/ -e 'using Pkg; Pkg.develop(path=pwd()); Pkg.add("Documenter"); Pkg.instantiate()'
- name: Build and deploy
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
MY_GITHUB_TOKEN: ${{ secrets.MY_GITHUB_TOKEN }}

run: |
julia --project=docs/ docs/make.jl
cp -r docs/build/* docs/
Expand All @@ -29,5 +30,5 @@ jobs:
git config --local user.name "GitHub Action"
git add docs/
git commit -m "Update documentation" -a || echo "No changes to commit"
git push
git push --force https://${{ secrets.MY_GITHUB_TOKEN }}@github.com/Devetak/DiscoDiff.jl.git

0 comments on commit dfbfa6d

Please sign in to comment.