Add Rust tests and Kani workflow #15

Triggered via push June 7, 2024 23:52

celinval

main

Status Success

Total duration 4m 34s

Artifacts 1

book.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	1.17 MB