Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci(nopin): pinning is very slow and not necessary
'opam install --deps-only --with-test .' should work without pinning. And then 'dune build' should work as normal, we don't want to retain any of the packages at the end of the build, so no need to pin (in theory). Signed-off-by: Edwin Török <[email protected]>
- Loading branch information