search

RedPRL / redtt

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Apache License 2.0
204 stars 12 forks source link

updating versions #487

Closed ivoysey closed 4 years ago

ivoysey commented 4 years ago

this ought to address #486!

jonsterling commented 4 years ago

I wonder if this newfangled "GitHub Actions" stuff can provide a more reliable alternative to travis ??

jonsterling commented 4 years ago

https://github.com/avsm/hello-world-action-ocaml/blob/master/.github/workflows/test.yml looks kind of cool.

ivoysey commented 4 years ago

oh yeah. maybe. i know only enough about travis to get in trouble, but it's simple enough yaml pushing. if there's something better that's fine too.

jonsterling commented 4 years ago

@ivoysey Yeah lol, when I set up the travis I basically was like this dog:

image

ivoysey commented 4 years ago

so it looks like the build correctly picked up the new env vars i set to increment the versions of things but failed on a wget command. from the bottom of the log:

--2020-01-09 21:42:46--  https://github.com/ocaml/opam/releases/download/2.1.1/opam-2.1.1-x86_64-linux

Resolving github.com (github.com)... 140.82.114.3

Connecting to github.com (github.com)|140.82.114.3|:443... connected.

HTTP request sent, awaiting response... 404 Not Found

2020-01-09 21:42:46 ERROR 404: Not Found.

The command "sh <(curl -sL https://raw.githubusercontent.com/ocaml/ocaml-ci-scripts/master/.travis-ocaml.sh)" failed and exited with 8 during .
cangiuli commented 4 years ago

Well, the latest release of opam is apparently 2.0.5, so that would explain why the wget failed.

ivoysey commented 4 years ago

ah, good catch. i must have had the wrong thing in my paste buffer. just fixed that, and this maybe triggered another travis build.

cangiuli commented 4 years ago

By the way, although the build passed, I noticed that the output of opam pin add -y redtt . complains that the opam-version in redtt.opam is wrong.

ivoysey commented 4 years ago

yeah, it looks like it doesn't want you to specify minor versions.

ivoysey commented 4 years ago

ok, i think that's got it squared away. it also does seem like it goes to the latest minor revision of the major revision you specify, fwiw, so it still got built on 2.0.5 but you just specify less than that.