Merge pull request #9 from lemastero/dependabot-config

Create dependabot.yml configuration

.github/dependabot.yml

@@ -0,0 +1,11 @@
+# To get started with Dependabot version updates, you'll need to specify which
+# package ecosystems to update and where the package manifests are located.
+# Please see the documentation for all configuration options:
+# https://docs.github.com/code-security/dependabot/dependabot-version-updates/configuration-options-for-the-dependabot.yml-file
+
+version: 2
+updates:
+  - package-ecosystem: "github-actions" # See documentation for possible values
+    directory: "/" # Location of package manifests
+    schedule:
+      interval: "weekly"

.github/workflows/main.yml

@@ -9,9 +9,9 @@ jobs:
     name: Deploy
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
-      - uses: cachix/install-nix-action@v17
-      - uses: cachix/cachix-action@v10
+      - uses: actions/checkout@v4
+      - uses: cachix/install-nix-action@v30
+      - uses: cachix/cachix-action@v15
         with:
           name: agda-smash
           authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}

.github/workflows/pr.yml

@@ -9,9 +9,9 @@ jobs:
     name: Build
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
-      - uses: cachix/install-nix-action@v17
-      - uses: cachix/cachix-action@v10
+      - uses: actions/checkout@v4
+      - uses: cachix/install-nix-action@v30
+      - uses: cachix/cachix-action@v15
         with:
           name: agda-smash
           authToken: ${{ secrets.CACHIX_AUTH_TOKEN }}

README.org

@@ -1,3 +1,7 @@
+#+CAPTION: CI Build Status
+#+NAME:   fig:CI-Bade
+[[https://github.com/lemastero/agda-smash/actions/workflows/main.yml/badge.svg?branch=main]]
+
 * Agda Smash
 
 Formal specification of Haskell [[https://hackage.haskell.org/package/smash/][smash]] library in Agda.