Commit 9ddff20

committed

Add Coq Nix Toolbox-based CI to test CoqEAL.

Closes rocq-community#74.

1 parent 4c8364f commit 9ddff20Copy full SHA for 9ddff20

4 files changed

+521

-0

lines changed

.github/workflows
- nix-action-default.yml
.nix
- config.nix
- coq-nix-toolbox.nix
default.nix

4 files changed

+521

-0

lines changed

Comments

(0)