From 71309e79bda51566f5b545729eba710c1072b07d Mon Sep 17 00:00:00 2001 From: Samuel Breese Date: Tue, 30 May 2023 00:03:23 -0400 Subject: [PATCH] Update AWSLC branch --- s2nTests/docker/awslc.dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/s2nTests/docker/awslc.dockerfile b/s2nTests/docker/awslc.dockerfile index 452aa0e4a3..d7c295b8bb 100644 --- a/s2nTests/docker/awslc.dockerfile +++ b/s2nTests/docker/awslc.dockerfile @@ -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 sb/functors-merge && \ + git checkout sb/functors-ci-pin && \ git config --file=.gitmodules submodule.src.url https://github.com/awslabs/aws-lc && \ git submodule sync && \ git submodule update --init