deploy_docs.yml

name: Deploy Documentation

on:
  push:
    branches:
      - master

jobs:
  deploy:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v2
      - name: Set up Julia
        uses: julia-actions/setup-julia@v1
        with:
          version: '1.10'  # Set the Julia version as required
      - name: Install dependencies
        run: |
            julia --project=docs/ -e 'using Pkg; Pkg.develop(path=pwd()); Pkg.add("Documenter"); Pkg.instantiate()'
      - name: Build and deploy
        env:
          MY_GITHUB_TOKEN: ${{ secrets.MY_GITHUB_TOKEN }}

        run: |
          julia --project=docs/ docs/make.jl
          cp -r docs/build/* docs/
      - name: Commit and push
        run: |
          git config --local user.email "action@github.com"
          git config --local user.name "GitHub Action"
          git add docs/
          git commit -m "Update documentation" -a || echo "No changes to commit"
          git push --force https://${{ secrets.MY_GITHUB_TOKEN }}@github.com/Devetak/DiscoDiff.jl.git