Add Coq Nix Toolbox-based CI to test CoqEAL.#75
Open
Zimmi48 wants to merge 1 commit intorocq-community:masterfrom
Open
Add Coq Nix Toolbox-based CI to test CoqEAL.#75Zimmi48 wants to merge 1 commit intorocq-community:masterfrom
Zimmi48 wants to merge 1 commit intorocq-community:masterfrom
