search

na4zagin3 / satyrographos-repo

Custom OPAM repository for SATySFi libraries managed by Satyrographos
Creative Commons Zero v1.0 Universal
18 stars 17 forks source link

Migrate from Travis CI for GitHub Actions #240

Closed na4zagin3 closed 3 years ago

na4zagin3 commented 3 years ago

See https://github.com/gfngfn/SATySFi/pull/250/files

na4zagin3 commented 3 years ago

Resolved