Rust Tests

Add annotations required by Kani #49

Sign in to view logs

Triggered via push October 18, 2024 15:40

tautschnig

bedrock-library/alloc/src/collections/binary_heap/mod.rs

Status Success

Total duration 8m 49s

Artifacts –

rustc.yml

on: push

Matrix: build