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

..

esy-ci.yml

ci: fix Windows CI failures

2026-03-04 19:45:52 +00:00

nix-build.yml

ci: fix retired macos-13 image (#2905)

2025-12-13 21:34:04 -08:00

opam-ci.yml

ci: fix opam pin syntax to actually install the patched lambda-term

2026-03-04 20:24:27 +00:00

print-esy-cache.js

Add esy-ci and opam-ci

2023-03-13 17:32:20 +01:00