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

Split the Rocq installation. #3

Merged
cesar merged 1 commit from cesar/fayalite-deps:add-rocq-dep into master 2026-01-01 14:56:26 +00:00
Conversation 0 Commits 1 Files changed 1 +4 -2

1 commit

Author SHA1 Message Date
Cesar Strauss
49076888de
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 
It should split the individual object size roughly in half.
 2026-01-01 11:53:59 -03:00