Update CI setup (#30)

Author: giordano

.github/dependabot.yml

@@ -0,0 +1,7 @@
+# https://docs.github.com/github/administering-a-repository/configuration-options-for-dependency-updates
+version: 2
+updates:
+  - package-ecosystem: "github-actions"
+    directory: "/" # Location of package manifests
+    schedule:
+      interval: "weekly"

.github/workflows/Deploy.yml

@@ -49,24 +49,14 @@ jobs:
     runs-on: ubuntu-latest
     permissions: write-all
     steps:
-      - uses: actions/checkout@v3
-      - uses: julia-actions/cache@v1
-      - uses: tlienart/xranklin-build-action@v3.8
+      - uses: actions/checkout@v4
+      - uses: julia-actions/cache@v2
+      - uses: tlienart/xranklin-build-action@v5.0.1
         with:
-          # NOTE: this is the Xranklin branch the site is built with
-          BRANCH: "dev"
           # NOTE: this is the base URL prefix (landing page at /$BASE_URL_PREFIX/)
           BASE_URL_PREFIX: ""
           # Whether to deploy the website or not.  Can do only for PRs opened
           # from the same repository.
           DEPLOY: ${{ needs.options.outputs.deploy }}
           # Directory where to deploy the website.
           PREVIEW: ${{ needs.options.outputs.preview }}
-
-          # ===================================================================
-          # DON'T CHANGE THE FOLLOWING UNLESS YOU HAVE GOOD REASONS TO
-          # >> amounts to build(clear=true) when commit message contains [clear]
-          CLEAR_CACHE: ${{ contains(github.event.head_commit.message, '[clear]') }}
-          # >> change the digit at the end if, for some reason, you believe
-          # that the cache used by the github action has an issue
-          CACHE_KEY: "franklin-cache"

.github/workflows/PreviewCleanup.yml

@@ -9,7 +9,7 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - name: Checkout gh-pages branch
-        uses: actions/checkout@v3
+        uses: actions/checkout@v4
         with:
           ref: gh-pages
       - name: Delete preview and history + push changes