Deploy.yml

name: "Aggregate"
on:
  push:
    branches:
      - "main"
  schedule:
    - cron: "0 0 * * *"
  workflow_dispatch: ~
jobs:
  aggregate:
    runs-on: "ubuntu-latest"
    steps:
      - uses: "actions/checkout@v6"
      - uses: "julia-actions/setup-julia@v2"
        with:
          version: "1"
      - name: "Install dependencies"
        run: |-
          julia --project=docs/ -e '
          import Pkg
          Pkg.Registry.add("General")
          Pkg.Registry.add(Pkg.RegistrySpec(; url="https://github.com/ITensor/ITensorRegistry.git"))
          Pkg.develop(path=".")
          Pkg.instantiate()
          '
      - name: "Aggregate and deploy"
        run: |
          git config user.name github-actions
          git config user.email github-actions@github.com
          julia --project=docs/ docs/make.jl deploy