Commit graph

3 commits

Author SHA1 Message Date
Simon Cruanes
06ef1fc787 ci stuff 2021-02-01 11:15:49 -05:00
Simon Cruanes
53cf1fbde0 chore: update opam version, try to fix CI 2020-03-25 23:23:06 -04:00
Simon Cruanes
0f77a120d2 chore: add github action 2020-01-29 10:49:28 -06:00