Commit graph

4 commits

Author SHA1 Message Date
Simon Cruanes
4e80493e4a
run gha as root in docker
using the opam user wouldn't work for actions like checkout
2026-04-06 11:59:28 -04:00
Simon Cruanes
f7e11753e2
use docker images for CI 2026-04-06 11:39:14 -04:00
Simon Cruanes
40b84944a7
ugh
Some checks failed
format / format (push) Has been cancelled
build / build (4.08.x, ubuntu-latest) (push) Has been cancelled
build / build (4.13.x, ubuntu-latest) (push) Has been cancelled
build / build (5.0.x, ubuntu-latest) (push) Has been cancelled
build / build (5.3.x, ubuntu-latest) (push) Has been cancelled
2026-03-13 15:22:58 -04:00
Simon Cruanes
7cc0ee1701
CI: remove gh-pages, add format 2026-02-19 15:54:17 -05:00