This is a memento that we would eventually like to have CI for paramcoq using the Nix Toolbox and Nix Action that incorporates the following features:
- caching using the coq-community cachix
- checking of the downstream CoqEAL project for every PR and merge
One inspiration is how the hydra-battles project currently checks the downstream Goedel project.
Unfortunately, the Nix Toolbox not currently easy to use without in-depth Nix knowledge, so we will need help from @Zimmi48 or @CohenCyril.
This is a memento that we would eventually like to have CI for paramcoq using the Nix Toolbox and Nix Action that incorporates the following features:
One inspiration is how the hydra-battles project currently checks the downstream Goedel project.
Unfortunately, the Nix Toolbox not currently easy to use without in-depth Nix knowledge, so we will need help from @Zimmi48 or @CohenCyril.