cesar/fayalite
1
0
Fork 0
forked from libre-chip/fayalite
Code Pull requests Activity Actions
fayalite/.forgejo
History
Cesar Strauss 226bfe98d0
Some checks failed
/ test (push) Has been cancelled
Details
Run Rocq tests.
2026-02-14 19:15:41 -03:00
..
workflows Run Rocq tests. 2026-02-14 19:15:41 -03:00