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

1 commit

Author SHA1 Message Date
17bd387064
Reduce image size by cleaning opam cache.
Some checks failed
/ build (push) Failing after 30m20s
/ podman-rootless-build (push) Successful in 3m25s
/ build (pull_request) Successful in 18m44s
/ podman-rootless-build (pull_request) Successful in 25s
Hopefully this sufficiently reduces the object size to allow it to
upload to forgejo successfully.
2026-01-01 10:36:26 -03:00