The current Dockerfile is unmaintained and has fallen out of date. It also never saw use as a common development environment so it's not a good base for the CI.
This changes the aslp CI to use the now-preferred Nix environment. This has the added benefit of offering more transparency than a Docker container's binary blob.
To make sure we can still build with plain opam, it might be useful to run a weekly build with only opam/dune. This will be slow, but it would just be a sanity check.
The current Dockerfile is unmaintained and has fallen out of date. It also never saw use as a common development environment so it's not a good base for the CI.
This changes the aslp CI to use the now-preferred Nix environment. This has the added benefit of offering more transparency than a Docker container's binary blob.
To make sure we can still build with plain opam, it might be useful to run a weekly build with only opam/dune. This will be slow, but it would just be a sanity check.
For reference, the previous Dockerfile was here: https://github.com/katrinafyi/pac-environment