Skip to content

Don't run opam init in CI if cache is present#99

Merged
thatplguy merged 1 commit intomainfrom cns/fix-cacheNov 14, 2024