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

1 commit

Author SHA1 Message Date
Cesar Strauss
117d2cfcdf
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
2025-12-28 19:12:41 -03:00