cryspen / hacl-packages

The Cryspen HACL Distribution
https://cryspen.com/hacl-packages
Other
13 stars 18 forks source link

disable building docs for old ocaml tags #424

Closed franziskuskiefer closed 10 months ago

franziskuskiefer commented 10 months ago

See #423

coveralls commented 10 months ago

Pull Request Test Coverage Report for Build 5783386920


Totals Coverage Status
Change from base Build 5655047436: 0.0%
Covered Lines: 28938
Relevant Lines: 54844

💛 - Coveralls
franziskuskiefer commented 10 months ago

@victor-dumitrescu for your FYI and an r+ The change in #421 makes such that all the old tags don't work anymore. But this forces us to fix it properly. But for now we could just disable it.

franziskuskiefer commented 10 months ago

Merging this now to fixup the CI.