Skip to content

3.15.2
Compare
Choose a tag to compare
@emillon emillon released this 23 Apr 09:55
· 518 commits to main since this release
3.15.2
c28817c
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.

CHANGES:

Fixed

  • If no directory targets are defined, then do not evaluate enabled_if
    (#10442, @rgrinberg)

  • Fix a bug where Coq projects were being rebuilt from scratch each time the
    dependency graph changed. (#10446, fixes #10149, @Alizter)

Contributors

rgrinberg and Alizter
Assets 3
Loading