DGtal-team / DGtalTools

Tools associated with DGtal Library
http://dgtal.org
GNU Lesser General Public License v3.0
45 stars 38 forks source link

fix Github integration on PR #424

Closed kerautret closed 3 years ago

kerautret commented 3 years ago

PR Description

Just to fix remove travis and activate GitHub Actions

Checklist