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

Sign in to view logs

Triggered via push June 9, 2024 23:25

celinval

verify-0000-template

Status Success

Total duration 15m 0s

Artifacts –

rustc.yml

on: push

Matrix: build