Hi! I'd like to build my package w/ multiple versions of Coq in CI. How should I modify the nix-action-default.yml file generated by coq-nix-toolbox?
see example for this project: https://github.com/coq-community/huffman
@Karl Palmskog Am I right that I should have a separate file for each Coq version I want to test and put
bundle "8.17.1" instead of
bundle "default" if I want to test w/ Coq 8.17.1?
Oh, I see now that I'd have modified bundles in config.nix. Thank you!
Last updated: Nov 29 2023 at 21:01 UTC