Safety-Critical Tool Submission - AdaCore's GNAT Pro for Rust #224
Triggered via issue
September 19, 2025 14:49
CartesianXR7
Status
Success
Total duration
12s
Artifacts
–
add-membership-application-to-project.yml
on: issues
Add membership issue to project
5s