Closed gares closed 2 months ago
The real bench is mca, I just added it, and I'm running it on my computer this afternoon (MCA takes about 20min if I recall correctly)
@CohenCyril https://github.com/coq-community/coq-nix-toolbox/pull/224 merged, could you please update the toolbox and rerun CI here
CI green, this looks good to be (squashed and) merged
I still don't get why XS
and elements {make-set XS}
make any difference for ssrnum, but I guess I'll have to live with that.
There was a hack in ssrnum, maybe @CohenCyril recalls it? I don't think it should impact here though.
The failure was about SemiGroup and Monoids, didn't felt like related to the hack (but maybe remotely who knows).
FTR
We could also try with the version of toposort by @Tragicus but we need elpi 1.19.2 for an efficient coq.gref.set.fold