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

Run Rocq tests. #64

Merged
cesar merged 1 commit from cesar/fayalite:run-rocq-tests into master 2026-03-31 00:22:46 +00:00
Conversation 2 Commits 1 Files changed 5 +46 -1

1 commit

Author SHA1 Message Date
Cesar Strauss
8cff3687f7
Run Rocq tests.
All checks were successful
/ test (pull_request) Successful in 8m7s
Details
/ test (push) Successful in 4m58s
Details
2026-03-30 19:36:24 -03:00