search

inQWIRE / QuantumLib

Coq library for reasoning about quantum programs
Other
32 stars 10 forks source link

Continuous integration #10

Closed khieta closed 2 years ago

khieta commented 2 years ago

It would be awesome to have continuous integration running to check that QuantumLib compiles with different versions of Coq. (Last I checked, QuantumLib should work with v8.12-8.14.) Note that coq-community does this for CoRN (https://github.com/coq-community/corn) -- maybe we could get QuantumLib into coq-community?

Some useful links for Coq CI:

khieta commented 2 years ago

Assigned myself & @k4rtik to this issue... between the two of us we should be able to figure it out.

k4rtik commented 2 years ago

Hi @khieta, my PR seems to be correctly running the CI. I didn't add an opam file, but that can be done too if needed. (Also unsure if make -j 2 is a good default for # of parallel jobs in the CI.)

Please take a look when you can.

cc'ing @rnrand to let him know that CI is ready in #15.