   Compiling lean-ctx v3.9.18 (/workspace/lean-ctx/rust)
error[E0308]: mismatched types
  --> src/core/ocla/reference_adapters/report.rs:214:31
   |
214|     let tokens: u64 = metadata.expected_tokens;
   |                   ---   ^^^^^^^^^^^^^^^^^^^^^^^ expected `u64`, found `usize`
   |                   |
   |                   expected due to this
   |
help: convert the value before assigning it
   |
214|     let tokens: u64 = metadata.expected_tokens as u64;
   |
error: could not compile `lean-ctx` (lib) due to 1 previous error
