New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add coq-fcsl-pcm dependencies to CI #19

Open

anton-trunov opened this issue Jan 6, 2020 · 2 comments

Member

anton-trunov commented Jan 6, 2020

coq-disel package on opam
coq-disel-examples on opam
https://github.com/certichain/toychain/

anton-trunov changed the title ~~Add coq-fcsl-pcm dependecies to CI~~ Add coq-fcsl-pcm dependencies to CI

Member

clayrat commented Oct 14, 2020

Where should we add this?

Member Author

anton-trunov commented Oct 14, 2020

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.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment