Add continuous integration, closes #10

inQWIRE / QuantumLib

Coq library for reasoning about quantum programs

Other

32 stars 10 forks source link

Add continuous integration, closes #10 #15

Closed k4rtik closed 2 years ago

k4rtik commented 2 years ago

Update ignore file, _CoqProject, fix Makefile
Attempt at adding CI, see #10

khieta commented 2 years ago

This is really exciting! Can you remove the installation of coq-corn? We shouldn't depend on CoRN anymore thanks to pull request #13 but I haven't updated the documentation yet :)

k4rtik commented 2 years ago

Sure, I updated the README as well.

k4rtik commented 2 years ago

@khieta I think this PR is ready for merge! 🎉