Skip to content

v3.0.7
Compare
Choose a tag to compare
@smorimoto smorimoto released this 07 Aug 09:54
· 95 commits to master since this release
v3.0.7
1901418

Changed

  • Unlock --with-doc in analysis.
  • Use better dune cache keys.

Fixed

  • Configure git config globally instead of locally.
Assets 2
Loading