diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml index 0f5894d..037da9c 100644 --- a/.github/workflows/CI.yml +++ b/.github/workflows/CI.yml @@ -12,8 +12,6 @@ on: push: branches: - main - paths: - - "docs/**" concurrency: # Skip intermediate builds: always. @@ -113,24 +111,6 @@ jobs: if: steps.invs_pr.outputs.total > steps.invs_default.outputs.total run: exit 1 - docs: - if: github.ref == 'refs/heads/main' - name: Documentation - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v4 - - uses: julia-actions/julia-buildpkg@v1 - - - name: Build and deploy docs - env: - GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - run: | - julia --project=docs -e ' - println("--- :julia: Instantiating project") - using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate() - println("+++ :julia: Building documentation") - include("docs/make.jl")' - env: BACKEND_GROUP: "CPU" RETESTITEMS_NWORKERS: 4 diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml new file mode 100644 index 0000000..95e1a25 --- /dev/null +++ b/.github/workflows/documentation.yml @@ -0,0 +1,26 @@ +name: documentation +on: + push: + branches: + - main + paths: + - "docs/**" + +jobs: + docs: + if: github.ref == 'refs/heads/main' + name: Documentation + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - uses: julia-actions/julia-buildpkg@v1 + + - name: Build and deploy docs + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + run: | + julia --project=docs -e ' + println("--- :julia: Instantiating project") + using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate() + println("+++ :julia: Building documentation") + include("docs/make.jl")' \ No newline at end of file