Commit f0f5c95

committed

[CI] Test minimal elpi version

1 parent e2addc1 commit f0f5c95Copy full SHA for f0f5c95

2 files changed

+965

-0

lines changed

.github/workflows
- nix-action-coq-master-min-elpi.yml
.nix
- config.nix

2 files changed

+965

-0

lines changed

Comments

(0)