add dependabot.yml (#15)

fblanqui · web-flow · commit a2d68acd6629 · 2024-06-21T21:31:48.000+02:00
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).
