Introduce `invariant::Initialized` and migrate `Maybe` to it #2459

Sign in to view logs

Triggered via pull request February 8, 2024 18:21

jswrenn

synchronize #853

ptr-validity-initialized

Status Success

Total duration 6m 0s

Artifacts –

ci.yml

on: pull_request

Run tests under Kani

Check Rust formatting

Check that all toolchains listed in Cargo.toml are tested in CI

Check all-jobs-succeeded depends on all jobs

Matrix: build_test

Check README.md

Check MSRVs match

Check crate versions match

All checks succeeded