Add Rust tests and Kani workflow (#9) #3

Sign in to view logs

Triggered via push June 9, 2024 21:29

Status Success

Total duration 30m 53s

Artifacts –

rustc.yml

on: push

Matrix: build