|
|
49076888de
|
Split the Rocq installation.
/ podman-rootless-build (pull_request) Has been cancelled
/ build (pull_request) Has been cancelled
/ podman-rootless-build (push) Successful in 38s
/ build (push) Successful in 38m34s
It should split the individual object size roughly in half.
|
2026-01-01 11:53:59 -03:00 |
|
|
|
17bd387064
|
Reduce image size by cleaning opam cache.
/ 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 |
|
|
|
117d2cfcdf
|
Add Rocq to the installed dependencies.
/ build (pull_request) Successful in 18m59s
/ podman-rootless-build (pull_request) Successful in 30s
/ build (push) Failing after 30m56s
/ podman-rootless-build (push) Successful in 3m27s
|
2025-12-28 19:12:41 -03:00 |
|
|
|
bcc2656f24
|
build devices xc7a35tcsg324-1 and xc7a100tcsg324-1
/ build (push) Successful in 30m59s
/ podman-rootless-build (push) Successful in 40s
|
2025-10-14 03:15:46 -07:00 |
|
|
|
a506aa49a4
|
build container with all of fayalite's dependencies
/ podman-rootless-build (push) Successful in 3m43s
/ build (push) Failing after 29m32s
|
2025-10-13 21:21:42 -07:00 |
|
