search

Lysxia / coq-ceres

Coq library for serialization to S-expressions
MIT License
18 stars 1 forks source link

Enable tests for Coq >= 8.10 #20

Closed Lysxia closed 4 years ago

Lysxia commented 4 years ago

I can't figure out the syntax to have some steps run conditionally in CI. See last commit on branch correct.

I want to run opam install -t for Coq >= 8.10, and just opam install for Coq <= 8.9

@liyishuai Do you know how to do this?

liyishuai commented 4 years ago

OPAMWITHTEST=true implies opam install -t.

Lysxia commented 4 years ago

Oh I see, I keep forgetting that option! Thanks @liyishuai !