alire-project/ada_spark_workflow

Issues

• Cannot locate `Ada.Containers.Formal_Vectors`

  #16 opened a month ago by mosteo
  0

• Move `gnatprove` dependency to nested crate

  #10 opened a year ago by mosteo
  3

• Aunit ^23.0.0 fails to install via github workflows.

  #11 opened 9 months ago by vushu
  0

• Interpretation of SemVer spec

  #9 opened 2 years ago by esthermations
  1