Rust

Run Kani on CI #177

Sign in to view logs

Triggered via push May 29, 2024 12:51

koute

master

Status Success

Total duration 22m 10s

Artifacts –

rust.yml

on: push

build-and-test-linux

build-and-test-macos

build-and-test-windows