Skip to content

Commit

Permalink
Bump aws-lc-verification.
Browse files Browse the repository at this point in the history
  • Loading branch information
andreistefanescu authored and RyanGlScott committed May 26, 2023
1 parent eaaec00 commit e19c9cb
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion s2nTests/docker/awslc.dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -10,7 +10,7 @@ WORKDIR /saw-script
RUN mkdir -p /saw-script && \
git clone https://github.com/GaloisInc/aws-lc-verification.git && \
cd aws-lc-verification && \
git checkout 1dcf4258305ce17592fb5b90a1c7b638e6bdff9e && \
git checkout 9b966bcc4b902298f51372782923716faa7c738a && \
git config --file=.gitmodules submodule.src.url https://github.com/awslabs/aws-lc && \
git submodule sync && \
git submodule update --init
Expand Down

0 comments on commit e19c9cb

Please sign in to comment.