chore: global CI/Dependabot/Proof sync from main

Author: hyperpolymath

.github/dependabot.yml

@@ -1,19 +1,23 @@
-# 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
-
+# SPDX-License-Identifier: MPL-2.0
 version: 2
 updates:
-  - package-ecosystem: "" # See documentation for possible values
-    directory: "/" # Location of package manifests
-    schedule:
-      interval: "hourly"
   - package-ecosystem: "github-actions"
     directory: "/"
     schedule:
-      interval: "daily"
+      interval: "weekly"
     groups:
       actions:
         patterns:
           - "*"
+  - package-ecosystem: "cargo"
+    directory: "/bindings/rust"
+    schedule:
+      interval: "weekly"
+  - package-ecosystem: "cargo"
+    directory: "/bindings/rust/fuzz"
+    schedule:
+      interval: "weekly"
+  - package-ecosystem: "hex"
+    directory: "/bindings/elixir"
+    schedule:
+      interval: "weekly"

src/Proven/SafeUrl/Proofs.idr

@@ -341,7 +341,7 @@ data ValidPort : Nat -> Type where
 ||| DISCHARGED via `Data.Nat.lteReflectsLTE` stdlib lemma.
 export
 lteFrom65535Check : (p : Nat) -> (p <= 65535 = True) -> LTE p 65535
-lteFrom65535Check _ prf = Data.Nat.lteReflectsLTE p 65535 prf
+lteFrom65535Check p prf = Data.Nat.lteReflectsLTE p 65535 prf
 
 ||| Validate port is in range
 public export