rems-project / cn-tutorial

8 stars 8 forks source link

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

Closed thatplguy closed 1 week ago