Stream: Nix toolbox devs & users

Topic: CI matrix

view this post on Zulip Anton Podkopaev (Sep 25 2023 at 07:53):

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?

view this post on Zulip Karl Palmskog (Sep 25 2023 at 08:13):

see example for this project: https://github.com/coq-community/huffman

view this post on Zulip Anton Podkopaev (Sep 25 2023 at 08:36):

@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?

view this post on Zulip Anton Podkopaev (Sep 25 2023 at 08:55):

Oh, I see now that I'd have modified bundles in config.nix. Thank you!

Last updated: Nov 29 2023 at 21:01 UTC