FIx the CI - Githubissues

dinosaure / gilbraltar

MirageOS on RPi4

ISC License

59 stars 4 forks source link

FIx the CI #1

Open dinosaure opened 3 years ago

dinosaure commented 3 years ago

The problem is the same as ocaml-freestanding when ocaml-ci wants to run dune and ... this project is just a spaguetti of Makefile...

dinosaure commented 2 years ago

The CI works but it does not compile gilbraltar (only gilbraltar-toolchain). The main problem is: we need the OPAM layout to, finally, build our test and OCaml-CI does not provide to us such ability.