CI with Coq master - Githubissues

DeepSpec / InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

MIT License

199 stars 50 forks source link

CI with Coq master #155

Closed Lysxia closed 4 years ago

Lysxia commented 4 years ago

WIP on branch coq-master.

I don't know what's the right way to specify (or ignore) the versions of dependencies here.

The build plan is currently rejected because coq-paco.4.0.0 requires coq < 8.11. Maybe we could just say --ignore-constraints-on=coq, but it's not guaranteed that paco will still build for instance...

Will think this through later.

Lysxia commented 4 years ago

Already fixed by #180