Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Nightly cryptol-remote-api build broken after 31ca666 #1347

Closed
RyanGlScott opened this issue Apr 25, 2022 · 0 comments · Fixed by #1348
Closed

Nightly cryptol-remote-api build broken after 31ca666 #1347

RyanGlScott opened this issue Apr 25, 2022 · 0 comments · Fixed by #1348
Assignees
@RyanGlScott
Labels
CI Continuous integration remote-api Related to Cryptol's remote API

Comments

@RyanGlScott
Copy link
Contributor

Commit 31ca666, which switched the CI from using 8.10.3 to 8.10.7, inadvertently broke the nightly cryptol-remote-api Docker builds:

#5 [toolchain 1/6] FROM docker.io/library/debian:buster-20210511@sha256:acf7795dc91df17e10effee064bd229580a9c34213b4dba578d64768af5d8c51
#5 DONE 0.0s
------
 > [build  4/10] COPY cabal.GHC-8.10.3.config cabal.project.freeze:
------
cryptol-remote-api/Dockerfile:47
--------------------
  45 |     ENV LANG=C.UTF-8 \
  46 |         LC_ALL=C.UTF-8
  47 | >>> COPY cabal.GHC-${GHCVER}.config cabal.project.freeze
  48 |     
  49 |     RUN if ${PORTABILITY}; then SERVERS_NOT_THREADED="true"; fi
--------------------
error: failed to solve: failed to compute cache key: failed to calculate checksum of ref 3vziof1hd8q05uyzn9nxoie8v::jqk5ypsbtusu4w64ltqwjw7gc: "/cabal.GHC-8.10.3.config": not found
Error: buildx failed with: error: failed to solve: failed to compute cache key: failed to calculate checksum of ref 3vziof1hd8q05uyzn9nxoie8v::jqk5ypsbtusu4w64ltqwjw7gc: "/cabal.GHC-8.10.3.config": not found

Ultimately, this is because I forgot to update 8.10.3 to 8.10.7 in the necessary Docker files. (I kind of wish GitHub Actions notified me in situations like this, since I wouldn't have noticed unless I manually look at the nightly CI jobs. Alas.)
@RyanGlScott RyanGlScott added remote-api Related to Cryptol's remote API CI Continuous integration labels Apr 25, 2022
@RyanGlScott RyanGlScott self-assigned this Apr 25, 2022
RyanGlScott added a commit that referenced this issue Apr 26, 2022
@RyanGlScott
Fix the nightly cryptol-remote-api Docker builds
9a50fb1 
This converts the `cryptol-remote-api` Dockerfiles to use GHC 8.10.7 instead of
GHC 8.10.3, now that we have switched over to using 8.10.7 in the CI. This also
updates `cryptol-remote-api`'s `ghc.portability` patch to use the 8.10.7 branch
of GHC.

Fixes #1347.
@RyanGlScott RyanGlScott mentioned this issue Apr 26, 2022
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@RyanGlScott RyanGlScott

Labels
CI Continuous integration remote-api Related to Cryptol's remote API
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix the nightly cryptol-remote-api Docker builds GaloisInc/cryptol
1 participant
@RyanGlScott