Skip to content
Rust Tests

Update toolchain and kani version config #21

Sign in to view logs

Update toolchain and kani version config

Update toolchain and kani version config #21

Triggered via push November 7, 2024 16:03
@qinhepingqinheping
pushed c738450
sync-2024-11-03
Status Success
Total duration 7m 34s
Artifacts –

rustc.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in