search

au-ts / cogent

Cogent Project
https://trustworthy.systems/projects/TS/cogent.pml
Other
158 stars 26 forks source link

Fix Travis CICD failures #294

Closed emmet-m closed 5 years ago

emmet-m commented 5 years ago

Note one tests still fails, but that seems to be due to a legitimate error