search

coq-community / coq-nix-toolbox

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

Take the `checkPhase` into account in CI runs #219

Open CohenCyril opened 6 months ago

CohenCyril commented 6 months ago

I think all packages which have a test-suite should be complemented with a checkPhase attribute and the we should indeed make sure the CI does a doCheck = true for every single derivation, so that we do not have to make local overrides... cf https://nixos.org/manual/nixpkgs/stable/#ssec-check-phase

Originally posted by @CohenCyril in https://github.com/math-comp/math-comp/issues/1219#issuecomment-2135329272