Florent Hivert (Jan 05 2024 at 14:35): Florent Hivert (Jan 05 2024 at 14:35):Hi there ! I'm happy to report that I finished porting Coq-Combi to MathComp 2 ! I realized that since the repo was transfered to the Math-Comp organization, the documentation is broken. I'd like to fix it before making a release.
My question is the following: It seem to me natural to have the doc hosted in a subdirectory of https://math-comp.github.io/ If this is Ok with you, I can draft a pull request. I can also host it in my personal github.io if you prefer.
Is there a Math-Comp organization policy for that ?
Florent Hivert (Jan 05 2024 at 14:39):I've also a problem with the nix packaging:
'''
coq
Action failed with error: Error: Unable to locate executable file: cachix.
'''
But I know nothing about nix. Any pointer or help fixing this CI problem ? By the way, if not too complicated, I'd like to revive the CI which used to work a few years ago... Thanks for any help !
Last updated: Oct 13 2024 at 01:02 UTC