`cryptol-remote-api` `Dockerfile`: Properly declare `ARG`s in toolchain stage#1601

Merged

RyanGlScott merged 1 commit intomasterfrom docker-args-make-me-say-argh

Jan 5, 2024

+3

Commits on Jan 5, 2024

cryptol-remote-api Dockerfile: Properly declare ARGs in toolchain stage
RyanGlScott
committed