Rust Tests

Add Rust tests and Kani workflow #13

Sign in to view logs

Triggered via push June 7, 2024 23:52

celinval

main

Status Success

Total duration 10m 46s

Artifacts –

rustc.yml

on: push

Matrix: build