Commit graph

3 commits

Author SHA1 Message Date
Simon Cruanes
742e51df97
chore: CI 2025-01-29 13:00:01 -05:00
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