Skip to content

Check examples with opam instead of docker

Arvid Jakobsson requested to merge arvid@fix_check_examples_ci into master

The CI doesn't seem to work any more for checking examples. This seems to have something to do with the new Albert docker, and the entrypoint specification. In this MR I change the CI to use Albert from opam instead.

Edited by Arvid Jakobsson

Merge request reports