ci: opam install --deps-only hol_light#164

Merged

fblanqui merged 1 commit intoDeducteam:mainfrom fblanqui:ci

Jan 11, 2025

+4-3

Commits on Jan 11, 2025

ci: opam install --deps-only hol_light
fblanqui
committed