@dpc Can you have a look at the CI? The nix setup has an older version of Rust, which keeps failing builds.