Merge pull request #49 from manomayam/sophia-migr-0.8.0

feat: migrate to sophia 0.8.0
manomayam · Feb 3, 2024 · bc43c3d · bc43c3d
2 parents 1b5960f + 82efe65
commit bc43c3d
Show file tree

Hide file tree

Showing 36 changed files with 780 additions and 688 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -23,5 +23,11 @@
 				"streetsidesoftware.code-spell-checker"
 			]
         }
+    },
+    "features": {
+        "ghcr.io/guiyomh/features/just:0": {
+            "version": "latest"
+        },
+        "ghcr.io/lee-orr/rusty-dev-containers/cargo-binstall:0": {}
     }
 }
diff --git a/.github/workflows/audit.yml b/.github/workflows/audit.yml
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
@@ -28,12 +28,12 @@ jobs:
           # Just add a `cd` here if you need to change to another directory.
           mdbook build
       - name: Setup Pages
-        uses: actions/configure-pages@v3
+        uses: actions/configure-pages@v4
       - name: Upload artifact
-        uses: actions/upload-pages-artifact@v2
+        uses: actions/upload-pages-artifact@v3
         with:
           # Upload entire repository
           path: 'book/out'
       - name: Deploy to GitHub Pages
         id: deployment
-        uses: actions/deploy-pages@v2
+        uses: actions/deploy-pages@v4