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

Triggered via push June 9, 2024 23:25

celinval

verify-0000-template

Status Success

Total duration 4m 17s

Artifacts 1

book.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	1.17 MB