Kani

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

Sign in to view logs

Triggered via push June 9, 2024 23:25

celinval

verify-0000-template

Status Success

Total duration 2m 53s

Artifacts –

kani.yml

on: push

Matrix: build