Code

nix CI#322

Code

Merged

gares merged 3 commits intomasterLPCIC/coq-elpi:masterfrom test-ciLPCIC/coq-elpi:test-ciCopy head branch name to clipboardJan 6, 2022

+206

Commits

Commits on Jan 6, 2022

• default.nix

  bgregoir

  committed
  253ca1f

  Copy full SHA for 253ca1f

• First try

  bgregoir

  committed
  32ec9f6

  Copy full SHA for 32ec9f6

• clean-up

  

  bgregoir

  authored and

  gares

  committed
  45e1af9

  Copy full SHA for 45e1af9