search

AdaCore / adareducer

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

add a CI #18

Closed setton closed 2 years ago

setton commented 2 years ago

done!