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

CI: Show build errors and skips #390

Closed na4zagin3 closed 2 years ago

na4zagin3 commented 2 years ago

Build skips (e.g., inconsistent SATySFi version) are reported only in the logs. They should be more visible.

na4zagin3 commented 2 years ago

https://github.com/na4zagin3/satyrographos-repo/pull/457 and https://github.com/na4zagin3/satyrographos-repo/pull/460 address this issue.