Commit graph

2 commits

Author SHA1 Message Date
Simon Cruanes
7939bfa9e3
CI: use setup-ocaml v2 for gh-pages 2023-06-09 23:17:45 -04:00
Simon Cruanes
f9d8eb7220 move to github actions 2021-07-22 10:59:16 -04:00