Ecosyste.ms: OpenCollective

An open API service for software projects hosted on Open Collective.

github.com/alire-project/ada_spark_workflow

A demo of best practices for open-source Ada/SPARK development
https://github.com/alire-project/ada_spark_workflow

Fix typos (#8)

* Fix typos in README.md

* Fix typo in main.yml

ac25203b8d78aa3c9f120251885f56737413d795 authored over 2 years ago by Esther O'Keefe <[email protected]>

Fix pin relative path (#7)

535a1c0f622e645e8c53416b06ce434b0256e50a authored over 2 years ago by Alejandro R Mosteo <[email protected]>

Update README.md (#5)

* Update README.md

c7e16451b609875516ba72e93991ad7b20e0bb4d authored over 2 years ago by Fabien Chouteau <[email protected]>

Update main.yml

0fe2480dbcbe0c407d99cbd14f8f3be7043b9e22 authored over 2 years ago by Fabien Chouteau <[email protected]>

Update main.yml

ab8825cdd5b87651819dcdf08ffe28708b598140 authored over 2 years ago by Fabien Chouteau <[email protected]>

Update README.md (#4)

* Update README.md

c9ef8b16e6efcedbccdb07314bf624e0c49da445 authored over 2 years ago by Fabien Chouteau <[email protected]>

Release workflow

2cf1978746fc974731fe87bbef6909b78a442cb7 authored over 2 years ago by Fabien Chouteau <[email protected]>

Update README.md

e8011329cd0fa4466dba4dafa44955ebec589cc1 authored over 2 years ago by Fabien Chouteau <[email protected]>

GitHub workflow (build, gnatprove, gnatcov)

fa89cd642205987dbf70a0a4b44cbada527e4106 authored over 2 years ago by Fabien Chouteau <[email protected]>

Pass SPARK proof

11a9d15bdb042b61fa43a62d67790563b54fd72b authored over 2 years ago by Fabien Chouteau <[email protected]>

First version of example project

561cf9be81adb470a82c0a640d5f5cde50356c7b authored over 2 years ago by Fabien Chouteau <[email protected]>

Initial commit

28ab1f04fc422a48d144e13c9e433190f1f5fcc7 authored over 2 years ago by Fabien Chouteau <[email protected]>