add dependabot.yml (#15)

Deducteam · Jun 21, 2024 · a2d68ac · a2d68ac
1 parent e71b5d1
commit a2d68ac
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
@@ -0,0 +1,6 @@
+version: 2
+updates:
+  - package-ecosystem: github-actions
+    directory: /
+    schedule:
+      interval: weekly
diff --git a/lambdapi-stdlib.opam b/lambdapi-stdlib.opam
@@ -1,5 +1,5 @@
 opam-version: "2.0"
-synopsis: "Lambdapi library on natural numbers, integers and polymorphic lists"
+synopsis: "Standard library of Lambdapi"
 description: """
 This package provides a Lambdapi library on natural numbers,
 integers and polymorphic lists (in intuitionistic first-order logic).