Add missing Python dependency to CI - Githubissues

stanford-centaur / pono

Pono: A flexible and extensible SMT-based model checker

Other

82 stars 30 forks source link

Add missing Python dependency to CI #326

Closed CyanoKobalamyne closed 4 months ago

CyanoKobalamyne commented 5 months ago

Install pyparsing in CI because cvc5 depends on it now.