Update AWSLC branch

GaloisInc · May 30, 2023 · 71309e7 · 71309e7
1 parent fdde155
commit 71309e7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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