search

AdaCore / adareducer

GNU General Public License v3.0
13 stars 2 forks source link

add coverage reports to the CI #25

Open setton opened 2 years ago

setton commented 2 years ago

To do when #19 is done.