Merge remote-tracking branch 'origin/master' into tim_master

fpvandoorn · Aug 14, 2024 · 2fd7d08 · 2fd7d08
2 parents 68072b0 + 646d268
commit 2fd7d08
Show file tree

Hide file tree

Showing 7 changed files with 1,212 additions and 283 deletions.
diff --git a/.github/dependabot.yml b/.github/dependabot.yml
@@ -0,0 +1,9 @@
+version: 2  # Specifies the version of the Dependabot configuration file format
+
+updates:
+  # Configuration for dependency updates
+  - package-ecosystem: "github-actions"  # Specifies the ecosystem to check for updates
+    directory: "/"  # Specifies the directory to check for dependencies; "/" means the root directory
+    schedule:
+      # Check for updates to GitHub Actions every month
+      interval: "monthly"
diff --git a/BonnAnalysis/ComplexInterpolation.lean b/BonnAnalysis/ComplexInterpolation.lean