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

Add Rocq to the installed dependencies. #1

Merged
cesar merged 1 commit from cesar/fayalite-deps:add-rocq-dep into master 2025-12-28 23:54:35 +00:00
Conversation 5 Commits 1 Files changed 1 +11 -1
cesar commented 2025-12-28 22:25:52 +00:00
Owner
Copy link

Tested by building the image locally and using it to check the single Rocq file in Fayalite.

Tested by building the image locally and using it to check the single Rocq file in Fayalite.
cesar added 1 commit 2025-12-28 22:25:52 +00:00
Add Rocq to the installed dependencies.
Some checks failed
/ build (pull_request) Successful in 18m59s
Details
/ podman-rootless-build (pull_request) Successful in 30s
Details
/ build (push) Failing after 30m56s
Details
/ podman-rootless-build (push) Successful in 3m27s
Details
117d2cfcdf
programmerjake approved these changes 2025-12-28 22:32:26 +00:00
programmerjake left a comment
Owner
Copy link

looks good to me, feel free to merge after CI passes.

looks good to me, feel free to merge after CI passes.
cesar merged commit 117d2cfcdf into master 2025-12-28 23:54:35 +00:00
cesar commented 2026-01-01 12:42:45 +00:00
Author
Owner
Copy link

@programmerjake wrote in #1 (comment):

looks good to me, feel free to merge after CI passes.

It did pass CI before I merged, but failed after the merge. Log includes: "writing blob: uploading layer chunked: StatusCode: 413 Request Entity Too Large". It failed again on the next scheduled build, so it's not transient. Locally, I see the image size changing from 6.35 GB to 7.59 GB, a modest increase.

@programmerjake wrote in https://git.libre-chip.org/libre-chip/fayalite-deps/pulls/1#issuecomment-420: > looks good to me, feel free to merge after CI passes. It did pass CI before I merged, but failed after the merge. Log includes: "writing blob: uploading layer chunked: StatusCode: 413 Request Entity Too Large". It failed again on the next scheduled build, so it's not transient. Locally, I see the image size changing from 6.35 GB to 7.59 GB, a modest increase.
programmerjake commented 2026-01-01 12:56:56 +00:00
Owner
Copy link

@cesar wrote in #1 (comment):

@programmerjake wrote in #1 (comment):

looks good to me, feel free to merge after CI passes.

It did pass CI before I merged, but failed after the merge. Log includes: "writing blob: uploading layer chunked: StatusCode: 413 Request Entity Too Large". It failed again on the next scheduled build, so it's not transient. Locally, I see the image size changing from 6.35 GB to 7.59 GB, a modest increase.

maybe it's just one layer that's too big? (each RUN command ends up as a different layer, each different layer is uploaded as a separate object containing only the changes in that layer.)
try adding a command to clear out the opam caches to the same RUN:
c4507ab5c1/rocq/stable/Dockerfile (L25)

I tried looking at the server logs, but they're already gone since they rotate rather quickly due to getting a lot of AI bot traffic (like 5-10 requests per second when I was looking).

@cesar wrote in https://git.libre-chip.org/libre-chip/fayalite-deps/pulls/1#issuecomment-425: > @programmerjake wrote in #1 (comment): > > > looks good to me, feel free to merge after CI passes. > > It did pass CI before I merged, but failed after the merge. Log includes: "writing blob: uploading layer chunked: StatusCode: 413 Request Entity Too Large". It failed again on the next scheduled build, so it's not transient. Locally, I see the image size changing from 6.35 GB to 7.59 GB, a modest increase. maybe it's just one layer that's too big? (each RUN command ends up as a different layer, each different layer is uploaded as a separate object containing only the changes in that layer.) try adding a command to clear out the opam caches to the same RUN: https://gitlab.com/rocq-community/docker-rocq/-/blob/c4507ab5c137227700dac7e35fb5c0747fcd272f/rocq/stable/Dockerfile#L25 I tried looking at the server logs, but they're already gone since they rotate rather quickly due to getting a lot of AI bot traffic (like 5-10 requests per second when I was looking).
programmerjake commented 2026-01-01 15:06:21 +00:00
Owner
Copy link

ok, turns out it's nginx that's blocking large uploads because I used the example config from forgejo's website which sets client_max_body_size 512M;

so, I'll wait and see if #3 fixes it, if not I can adjust that to 1G or something.

ok, turns out it's nginx that's blocking large uploads because I used the [example config from forgejo's website](https://forgejo.org/docs/v11.0/admin/setup/reverse-proxy/#nginx) which sets `client_max_body_size 512M;` so, I'll wait and see if #3 fixes it, if not I can adjust that to 1G or something.
programmerjake commented 2026-01-01 15:45:38 +00:00
Owner
Copy link

so, I'll wait and see if #3 fixes it, if not I can adjust that to 1G or something.

adjusted the limit to 1G

> so, I'll wait and see if #3 fixes it, if not I can adjust that to 1G or something. adjusted the limit to 1G
Sign in to join this conversation.
Reviewers
No reviewers
programmerjake
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
2 participants
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#1
No description provided.
Delete branch "cesar/fayalite-deps:add-rocq-dep"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?