Skip to content

v2.0.0-beta4

Pre-release
Pre-release
Compare
Choose a tag to compare
@smorimoto smorimoto released this 06 Sep 15:36
· 965 commits to master since this release
v2.0.0-beta4
0652c52
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Changed

  • Set OPAMSOLVERTIMEOUT to 1000 to avoid a timeout even if the opam solver is slow.
  • Increase cache hit ratio by loosening restore keys of opam cache.
Assets 2