Skip to content
Add membership application to membership GitHub Project

Safety-Critical Tool Submission - AdaCore's GNAT Pro for Rust #224

Sign in to view logs

Safety-Critical Tool Submission - AdaCore's GNAT Pro for Rust

Safety-Critical Tool Submission - AdaCore's GNAT Pro for Rust #224

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Add membership issue to project
5s
5s