Rust Tests

Add kani script instructions to book (#135) #19

Sign in to view logs

Triggered via push November 6, 2024 20:45

qinheping

main

Status Success

Total duration 6m 26s

Artifacts –

rustc.yml

on: push

Matrix: build