adjust publish

.github/workflows/documentation.yml

@@ -1,25 +0,0 @@
-name: Documentation
-
-on:
-  push:
-    branches:
-      - main # update to match your development branch (master, main, dev, trunk, ...)
-    tags: '*'
-  pull_request:
-
-jobs:
-  build:
-    if: ${{ false }}  # disable documenter for now
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v2
-      - uses: julia-actions/setup-julia@latest
-        with:
-          version: '1.7'
-      - name: Install dependencies
-        run: julia --project=docs/ -e 'using Pkg; Pkg.develop(PackageSpec(path=pwd())); Pkg.instantiate()'
-      - name: Build and deploy
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} # If authenticating with GitHub Actions token
-          DOCUMENTER_KEY: ${{ secrets.DOCUMENTER_KEY }} # If authenticating with SSH deploy key
-        run: julia --project=docs/ docs/make.jl

.github/workflows/publish.yml

@@ -1,5 +1,5 @@
-# This is *if* we have CI publish; currently we use `quarto render gh-pages`
 on:
+  workflow_dispatch:
   push:
     branches: main
 
@@ -31,4 +31,4 @@ jobs:
           render: false
           path: quarto/
         env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}