GitHub Actions improvements

Open aantron opened this issue 5 years ago • 0 comments

Needed to fully replace Travis:

[ ] Run tests; some were hanging inside the Actions runners.
[ ] Build and run the examples in at least one row.
[ ] Caching. The builds currently take way too long. See https://github.com/avsm/setup-ocaml/issues/1. This issue is essentially blocked on that, since it is both difficult and pointless to work on the rest until the builds are sped up.
[ ] Weekly or monthly runs.
[ ] Run opam lint and make check-ejected-build.
[x] Success and failure notifications.

Mar 14 '20 05:03 aantron