libre-chip/fayalite-deps
4
0
Fork 1
Code Issues Pull requests Projects Releases Packages 2 Wiki Activity Actions
Labels Milestones
New pull request
0 Open 3 Closed 3 All
Label
Clear labels
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
HaeckseAlex
cesar
postmaster
programmerjake
Split the Rocq installation.
Some checks failed
/ podman-rootless-build (pull_request) Has been cancelled
Details
/ build (pull_request) Has been cancelled
Details
/ podman-rootless-build (push) Successful in 38s
Details
/ build (push) Successful in 38m34s
Details
#3 by cesar was merged 2026-01-01 14:56:26 +00:00
master
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
1
#2 by cesar was merged 2026-01-01 14:07:04 +00:00
master
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
5
#1 by cesar was merged 2025-12-28 23:54:35 +00:00
master
1 approval