Correct the V5 diagnostic oracle after independent review

76bccfa

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Dependency Review on: pull_request

Dependency Review

Anneal Tests on: pull_request

Anneal Static Checks

Build Anneal Toolchain Archive

Anneal V1 Tests

Verify V1 example (abs)

Verify V1 example (anatomy)

Verify V1 example (checked_add)

Verify V1 example (const_generics)

Verify V1 example (design_doc)

Verify V1 example (linked_list)

Verify V1 example (namespaces)

Verify V1 example (never_type)

Verify V1 example (ptr_concat)

Verify V1 example (size_of_align_of)

Verify V1 example (swap)

Verify V1 example (unchecked_get)

Verify V1 example (update_max)

Run V2 tests

All checks succeeded (anneal.yml)

Build & Tests on: pull_request

Run codegen tests

Generate code coverage

Run tests under Kani

Build (zerocopy / nightly / --simd / aarch64_be-unknown-linux-gnu)

Build (zerocopy / nightly / --simd / avr-none)

Check Rust formatting

Check stale stderr files

Check GitHub Actions

Check README.md

Check crate versions match

Check MSRV is minimal

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

Check all-jobs-succeeded depends on all jobs

Check for todo comments

Run Git hooks

zizmor

Build Docker image

Build & Test (zerocopy / msrv / default / i686-unknown-linux-gnu)

Build & Test (zerocopy-derive / msrv / default / i686-unknown-linux-gnu)

Build & Test (zerocopy / msrv / stable / i686-unknown-linux-gnu)

Build & Test (zerocopy / msrv / default / x86_64-unknown-linux-gnu)

Build & Test (zerocopy-derive / msrv / default / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / msrv / stable / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / msrv / default / x86_64-pc-windows-msvc)

Build & Test (zerocopy-derive / msrv / default / x86_64-pc-windows-msvc)

Build & Test (zerocopy / msrv / stable / x86_64-pc-windows-msvc)

Build & Test (zerocopy / stable / default / i686-unknown-linux-gnu)

Build & Test (zerocopy-derive / stable / default / i686-unknown-linux-gnu)

Build & Test (zerocopy / stable / stable / i686-unknown-linux-gnu)

Build & Test (zerocopy / stable / default / x86_64-unknown-linux-gnu)

Build & Test (zerocopy-derive / stable / default / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / stable / stable / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / stable / default / x86_64-pc-windows-msvc)

Build & Test (zerocopy-derive / stable / default / x86_64-pc-windows-msvc)

Build & Test (zerocopy / stable / stable / x86_64-pc-windows-msvc)

Build & Test (zerocopy / nightly / default / i686-unknown-linux-gnu)

Build & Test (zerocopy-derive / nightly / default / i686-unknown-linux-gnu)

Build & Test (zerocopy / nightly / stable / i686-unknown-linux-gnu)

Build & Test (zerocopy / nightly / all / i686-unknown-linux-gnu)

Build & Test (zerocopy / nightly / default / x86_64-unknown-linux-gnu)

Build & Test (zerocopy-derive / nightly / default / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / nightly / stable / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / nightly / all / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / nightly / default / x86_64-pc-windows-msvc)

Build & Test (zerocopy-derive / nightly / default / x86_64-pc-windows-msvc)

Build & Test (zerocopy / nightly / stable / x86_64-pc-windows-msvc)

Build & Test (zerocopy / nightly / all / x86_64-pc-windows-msvc)

Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / default / i686-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / stable / i686-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / default / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / stable / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / default / x86_64-pc-windows-msvc)

Build & Test (zerocopy / no-zerocopy-simd-x86-avx12-1-89-0 / stable / x86_64-pc-windows-msvc)

Build & Test (zerocopy / no-zerocopy-core-error-1-81-0 / default / i686-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-core-error-1-81-0 / stable / i686-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-core-error-1-81-0 / default / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-core-error-1-81-0 / stable / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-diagnostic-on-unimplemented-1-78-0 / default / i686-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-diagnostic-on-unimplemented-1-78-0 / stable / i686-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-diagnostic-on-unimplemented-1-78-0 / default / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-diagnostic-on-unimplemented-1-78-0 / stable / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-generic-bounds-in-const-fn-1-61-0 / default / i686-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-generic-bounds-in-const-fn-1-61-0 / stable / i686-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-generic-bounds-in-const-fn-1-61-0 / default / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-generic-bounds-in-const-fn-1-61-0 / stable / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / default / i686-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / stable / i686-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / default / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / stable / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / default / x86_64-pc-windows-msvc)

Build & Test (zerocopy / no-zerocopy-target-has-atomics-1-60-0 / stable / x86_64-pc-windows-msvc)

Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / default / i686-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / stable / i686-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / default / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / stable / x86_64-unknown-linux-gnu)

Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / default / x86_64-pc-windows-msvc)

Build & Test (zerocopy / no-zerocopy-panic-in-const-and-vec-try-reserve-1-57-0 / stable / x86_64-pc-windows-msvc)

Miri (${{ matrix.crate }} / ${{ matrix.feature_profile }} / ${{ matrix.miri_model.name }} / ${{ matrix.target }})

All checks succeeded (ci.yml)

Select a check to view from the sidebar