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. #2

Merged
programmerjake merged 1 commit from cesar/fayalite-deps:add-rocq-dep into master 2026-01-01 14:07:04 +00:00
Conversation 1 Commits 1 Files changed 1 +2 -1

1 commit

Author SHA1 Message Date
Cesar Strauss
17bd387064
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 
Hopefully this sufficiently reduces the object size to allow it to
upload to forgejo successfully.
 2026-01-01 10:36:26 -03:00