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

Run Rocq tests. #64

Open
cesar wants to merge 1 commit from cesar/fayalite:run-rocq-tests into master
pull from: cesar/fayalite:run-rocq-tests
merge into: libre-chip:master
Conversation 1 Commits 1 Files changed 5 +46 -1

1 commit

Author SHA1 Message Date
Cesar Strauss
226bfe98d0
Run Rocq tests.
All checks were successful
/ test (pull_request) Successful in 7m42s
Details
2026-02-14 19:15:41 -03:00