Skip to content
Add membership application to membership GitHub Project

Safety-Critical Tool Submission: The Kani Rust Verifier #179

Sign in to view logs

Safety-Critical Tool Submission: The Kani Rust Verifier

Safety-Critical Tool Submission: The Kani Rust Verifier #179

Triggered via issue July 28, 2025 14:20
@PLeVasseurPLeVasseur
opened #380 341efc9
Status Success
Total duration 6s
Artifacts –

add-membership-application-to-project.yml

on: issues
Add membership issue to project
2s
Add membership issue to project
Fit to window
Zoom out
Zoom in