Latest release for CI instead of broken nightly

gebner / hott3

HoTT in Lean 3

Apache License 2.0

75 stars 11 forks source link

Closed slaykovsky closed 6 years ago

slaykovsky commented 6 years ago

The nightly build link in Travis YAML contains the old 3.3.1 nightly release and that causes build failures.

This patch makes it possible to use the latest available release for running tests using GitHub API and fixes the issue.

Signed-off-by: Alexey Slaykovsky alexey@slaykovsky.com

fpvandoorn commented 6 years ago

Sorry for the late merge. Thanks for submitting this pr!