libre-chip/fayalite-deps
4
0
Fork 1
Code Issues Pull requests Projects Releases Packages 2 Wiki Activity Actions

Reduce image size by cleaning opam cache.
Some checks failed
/ build (push) Failing after 30m20s
Details
/ podman-rootless-build (push) Successful in 3m25s
Details
/ build (pull_request) Successful in 18m44s
Details
/ podman-rootless-build (pull_request) Successful in 25s
Details

Browse source 
Hopefully this sufficiently reduces the object size to allow it to
upload to forgejo successfully.
This commit is contained in:
Cesar Strauss 2026-01-01 10:36:26 -03:00
parent 117d2cfcdf
commit 17bd387064
Signed by: cesar
SSH key fingerprint: SHA256:sJUl6USz0D6c6sAQyFZab8XNPJnT05pt2ES0Lv/hCg4
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Containerfile
View file

@ -122,5 +122,6 @@ RUN git clone --depth=1 --recursive --branch=z3-4.13.3 https://git.libre-chip.or
# https://gitlab.com/rocq-community/docker-rocq/-/blob/c4507ab5c137227700dac7e35fb5c0747fcd272f/rocq/stable/Dockerfile (MIT license)
RUN opam init --auto-setup --yes --disable-sandboxing \
&& eval $(opam env) \
&& opam pin -y add rocq-prover 9.0.0
&& opam pin -y add rocq-prover 9.0.0 \
&& opam clean -a -r -c -s --logs
ENV PATH=/root/.opam/default/bin:$PATH