This CI run will not test MPK; it has been detected as not available on this machine (`cargo run --example mpk-available`).