Skip to content

Commit

Permalink
Dockerfile: change the owner of copied contents
Browse files Browse the repository at this point in the history
  • Loading branch information
tfaoliveira-sb committed Sep 9, 2024
1 parent aaed212 commit 522bda3
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion scripts/docker/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -94,6 +94,6 @@ RUN cd easycrypt_$EASYCRYPT_COMMIT/ && \
# formosa-25519 ###############################################################

RUN mkdir formosa-25519
COPY . /home/$USER/formosa-25519
COPY --chown=$USER:root . /home/$USER/formosa-25519
WORKDIR /home/$USER/formosa-25519

0 comments on commit 522bda3

Please sign in to comment.