metacoq icon indicating copy to clipboard operation
metacoq copied to clipboard
verified publisher icon MetaCoq

Test Nix CI reverse dependency compatibility testing

Open 4ever2 opened this issue 1 year ago • 0 comments

This PR attempts to fix the current Nix CI and sets up reverse dependency compatibility testing for all the libraries in nixpkgs that depend on MetaCoq.

It should not be merged yet as the PR still depends on fork of coq-nix-toolbox.

Currently, Nix CI is only configured for the 8.19 branch.

4ever2 avatar Oct 15 '24 11:10 4ever2