fix: major rewrite to use the new Poset

RedPRL · Dec 10, 2023 · 8a3c35b · 8a3c35b
1 parent b65f1bd
commit 8a3c35b
Show file tree

Hide file tree

Showing 69 changed files with 2,939 additions and 2,850 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -31,7 +31,7 @@ FROM alpine AS onelab
 RUN apk add --no-cache git
 
 WORKDIR /dist/1lab
-ARG ONELAB_VERSION=ab2c18bb879a9944dac6e0ba61c662197a7f1965
+ARG ONELAB_VERSION=497ac8cf0c2a5c44b355c0d4de58dffa5b919ae2
 RUN \
   git init && \
   git remote add origin https://github.com/plt-amy/1lab && \