Search results

Provide a minimal unit test setup

Status: Open.

#18 In alire-project/ada_spark_workflow;

· fatso83 opened on Mar 17, 2025

Have an example to have GNATdoc, GNATcov and publishing in separate, depending/ needing GitHub workflow jobs

Status: Open.

#17 In alire-project/ada_spark_workflow;

· torsknod2 opened on Feb 17, 2025

Cannot locate <code>Ada.Containers.Formal_Vectors</code>

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#16 In alire-project/ada_spark_workflow;

· mosteo opened on Oct 26, 2024

Aunit ^23.0.0 fails to install via github workflows.

Status: Open.

#11 In alire-project/ada_spark_workflow;

· vushu opened on Mar 7, 2024

Move <code>gnatprove</code> dependency to nested crate

Status: Open.

#10 In alire-project/ada_spark_workflow;

· mosteo opened on Dec 18, 2023

Interpretation of SemVer spec

Status: Open.

#9 In alire-project/ada_spark_workflow;

· esthermations opened on Aug 7, 2022