search

probcomp / metaprob

An embedded language for probabilistic programming and meta-programming.
GNU General Public License v3.0
168 stars 17 forks source link

Build failures #160

Closed bzinberg closed 5 years ago

bzinberg commented 5 years ago

In https://github.com/probcomp/metaprob/pull/159 we are seeing builds fail due to inability to download jars from the repo. E.g.: https://travis-ci.com/probcomp/metaprob/builds/122048271

bzinberg commented 5 years ago

Fix pending in #159. It was these two things:

  1. Need to use TLS1.2 (I think)
  2. Bug in Ubuntu package ca-certificates-java