Files
David Sancho Moreno b0cc7311aa ci: fix opam pin syntax to actually install the patched lambda-term
Use 'opam pin add' with git+https:// URL syntax and -y flag to
immediately build and install the pinned lambda-term, rather than
--no-action which only registers the pin without rebuilding.
2026-03-04 20:24:27 +00:00
..