Fix unsoundness in impl_for_transparent_wrapper! #4554

Sign in to view logs

Triggered via pull request August 9, 2024 20:55

joshlf

synchronize #1585

impl-for-transparent-wrapper-soundness

Status Success

Total duration 4m 3s

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 crate versions match

All checks succeeded