Merge branch 'development' into patch-1

Author: rossabaker

.github/dependabot.yml

@@ -0,0 +1,6 @@
+version: 2
+updates:
+- package-ecosystem: github-actions
+  directory: "/"
+  schedule:
+    interval: weekly

.github/workflows/cache.yml

@@ -15,13 +15,13 @@ jobs:
           - macos-latest
           - ubuntu-latest
     steps:
-      - uses: actions/checkout@v2.3.2
+      - uses: actions/checkout@v3.4.0
 
       - name: "Install Nix️"
-        uses: cachix/install-nix-action@v15
+        uses: cachix/install-nix-action@v20
 
       - name: "Install Cachix️"
-        uses: cachix/cachix-action@v10
+        uses: cachix/cachix-action@v12
         with:
           name: typelevel
           authToken: '${{ secrets.CACHIX_AUTH_TOKEN }}'

.github/workflows/ci.yml

@@ -11,13 +11,13 @@ jobs:
   build:
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v2.3.2
+      - uses: actions/checkout@v3.4.0
 
       - name: "Install Nix️"
-        uses: cachix/install-nix-action@v16
+        uses: cachix/install-nix-action@v20
 
       - name: "Install Cachix️"
-        uses: cachix/cachix-action@v10
+        uses: cachix/cachix-action@v12
         with:
           name: typelevel