search

coq-community / coq-nix-toolbox

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
MIT License
32 stars 10 forks source link

Test QuickChick 2.0.2 #193

Closed vbgl closed 9 months ago

vbgl commented 9 months ago

This tests NixOS/nixpkgs#280471

proux01 commented 9 months ago

@vbgl note that the coqeal failures on 8.18 are unrelated https://github.com/coq-community/coq-nix-toolbox/pull/192 this needs a release of coqeal but I'm first waiting for a release of MC for 8.19 (hopefully next week)