coq-nix-toolbox

coq-nix-toolbox copied to clipboard

https://github.com/coq-community/coq-nix-toolbox/pull/245

proux01

proux01

mathcomp: 1 -> 2

5

Diff is not very readable so here is a sumup of the change in packages that are available with default mathcomp ``` 8.16 - coq-bits - coqeal - deriving -...

proux01

proux01

> 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`...

CohenCyril

https://github.com/NixOS/nixpkgs/pull/344973

Alizter

Since these CI are very long, I suggest adding (at least optionally) a cancel-in-progress directive: https://docs.github.com/en/enterprise-cloud@latest/actions/writing-workflows/choosing-what-your-workflow-does/control-the-concurrency-of-workflows-and-jobs#example-using-concurrency-and-the-default-behavior

gares

This tests https://github.com/NixOS/nixpkgs/pull/459030

vbgl

Testing https://github.com/NixOS/nixpkgs/pull/459058

proux01

coqPackages.mathcomp: 2.4.0 -> 2.5.0

1

Testing https://github.com/NixOS/nixpkgs/pull/451885

proux01