search

AdaCore / adareducer

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

Add a basic CI #19

Closed setton closed 2 years ago

setton commented 2 years ago

For #18