diff --git a/.github/workflows/hax.yml b/.github/workflows/hax.yml
index 113942b8..812a1d4b 100644
--- 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
index 5aadc98f..01fe08ba 100644
--- 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
index 860f7043..a33a425f 100644
--- 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