Stream: math-comp devs

Topic: (no topic)


view this post on Zulip 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 ?

view this post on Zulip 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: Jul 23 2024 at 21:01 UTC