Commit graph

3 commits

Author SHA1 Message Date
Simon Cruanes
5031be8d91
use docker images for CI (#130)
* use docker images for CI

* run gha as root in docker

using the opam user wouldn't work for actions like checkout

* make our own docker images from ubuntu LTS

* details

* fix eio step

* fix build issues in docker
2026-04-06 15:47:16 -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