CI

Add kani proofs #12

Sign in to view logs

Triggered via pull request January 27, 2026 12:52

cgwalters

opened #2

add-kani-proofs

Status Success

Total duration 2m 48s

Artifacts –

build.yml

on: pull_request

Kani formal verification