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
Owner

Hopefully this sufficiently reduces the object size to allow it to
upload to forgejo successfully.

Hopefully this sufficiently reduces the object size to allow it to upload to forgejo successfully.
cesar added 1 commit 2026-01-01 14:05:44 +00:00
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
17bd387064
Hopefully this sufficiently reduces the object size to allow it to
upload to forgejo successfully.
programmerjake merged commit 17bd387064 into master 2026-01-01 14:07:04 +00:00
Author
Owner

Right. I'll try now splitting it into two steps.

Right. I'll try now splitting it into two steps.
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference: libre-chip/fayalite-deps#2
No description provided.