As the title says.
@Fabien-Chouteau, I was playing with this and hit a wall and the best way I can describe it is that some instrumented code was trying to call gnatcov generated code outside of project closures (in dependencies). I tried to follow the instructions in the SPARK workflow demo repo. Wondering if you had tried this.
I can provide more details at a later time.
alire-project / alire
Command-line tool from the Alire project and supporting library
285
Contributors get 50% of received funds after fees
How does funding with Polar work?
1
Pay now to fund the work behind this issue.
2
Get updates on progress being made.
3
Maintainer is rewarded once the issue is completed.
FAQ
Backer
You're funding impactful open source efforts
Contributor
You want to contribute to this effort
Maintainer
You want to get funding like this too