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 2m 59s

Artifacts –

kani.yml

on: push

Matrix: build