edits, new symbolics.qmd file

quarto/publish.yml

@@ -0,0 +1,26 @@
+# This is *if* we have CI publish; currently we use `quarto render gh-pages`
+on:
+  push:
+    branches: main
+
+name: Quarto Publish
+
+jobs:
+  build-deploy:
+    runs-on: ubuntu-latest
+    permissions:
+      contents: write
+    steps:
+      - name: Check out repository
+        uses: actions/checkout@v2
+
+      - name: Set up Quarto
+        uses: quarto-dev/quarto-actions/setup@v2
+
+      - name: Render and Publish
+        uses: quarto-dev/quarto-actions/publish@v2
+        with:
+          target: gh-pages
+          path: quarto/
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}