Add coq-fcsl-pcm dependencies to CI

imdea-software / fcsl-pcm

Partial Commutative Monoids

Apache License 2.0

25 stars 12 forks source link

Open anton-trunov opened 4 years ago

anton-trunov commented 4 years ago

clayrat commented 3 years ago

Where should we add this?

anton-trunov commented 3 years ago

I was going to switch to GitHub Actions and add those afterwards, but for now we can add a new stage to .travis.yml and build the deps.