Merge pull request #128 from cryspen/franziskus/update-hax-ci

Update hax.yml
cryspen · Jan 9, 2025 · a5f2167 · a5f2167
2 parents 1b90bcc + 1e4094f
commit a5f2167
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 4 deletions.
diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
@@ -30,9 +30,9 @@ jobs:
         run: cargo update
 
       - name: 🔨 OCaml Setup
-        uses: ocaml/setup-ocaml@v2
+        uses: ocaml/setup-ocaml@v3
         with:
-          ocaml-compiler: 4.14.1
+          ocaml-compiler: 5.2.0
 
       - name: ⤵ Clone hax repository
         uses: actions/checkout@v4

diff --git a/record/src/debug.rs b/record/src/debug.rs
@@ -42,7 +42,7 @@ pub fn info_record(record: &[u8]) {
 
 pub struct Hex<'a>(pub &'a [u8]);
 
-impl<'a> Display for Hex<'a> {
+impl Display for Hex<'_> {
     fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
         write!(f, "{}", hex::encode(self.0))
     }

diff --git a/simple_https_client/src/tls13client.rs b/simple_https_client/src/tls13client.rs
@@ -21,7 +21,6 @@ struct Cli {
     #[arg(short, long)]
     port: Option<u16>,
     /// Algorithms to attempt to propose to server.
-
     /// Can be one of the following strings:
     ///   * SHA256_Chacha20Poly1305_RsaPssRsaSha256_X25519
     ///   * SHA256_Chacha20Poly1305_EcdsaSecp256r1Sha256_X25519