update example and actions/deploy-pages version

45Drives · Jan 21, 2025 · 9ca7522 · 9ca7522
1 parent 7c02361
commit 9ca7522
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/.github/workflows/publish-docs.yaml b/.github/workflows/publish-docs.yaml
@@ -39,4 +39,4 @@ jobs:
         path: "docs/"
     - id: "deployment"
       name: "Deploy documentation to GitHub Pages"
-      uses: "actions/deploy-pages@v2"
+      uses: "actions/deploy-pages@v4"
diff --git a/README.md b/README.md
@@ -36,6 +36,7 @@ findResult.match(
 
 // 3. or if whatever you are doing to the result also returns a Result, use .andThen instead of .map
 const rmResult = findResult.andThen((filePaths: string[]) =>
+  // this callback only runs if findResult was successful
   server.execute(new Command(["rm", ...filePaths]))
 );