6 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Cesar Strauss	49076888de	Split the Rocq installation. ... It should split the individual object size roughly in half.	2026-01-01 11:53:59 -03:00
Cesar Strauss	17bd387064	Reduce image size by cleaning opam cache. ... Hopefully this sufficiently reduces the object size to allow it to upload to forgejo successfully.	2026-01-01 10:36:26 -03:00
Cesar Strauss	117d2cfcdf	Add Rocq to the installed dependencies.	2025-12-28 19:12:41 -03:00
Jacob Lifshay	bcc2656f24	build devices xc7a35tcsg324-1 and xc7a100tcsg324-1	2025-10-14 03:15:46 -07:00
Jacob Lifshay	f01d2667bf	use skopeo for pushing to forgejo	2025-10-13 23:20:09 -07:00
Jacob Lifshay	a506aa49a4	build container with all of fayalite's dependencies	2025-10-13 21:21:42 -07:00