libre-chip/fayalite
3
0
Fork 3
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions
fayalite/.forgejo/workflows
History
Exact
Cesar Strauss 8cff3687f7
All checks were successful
/ test (pull_request) Successful in 8m7s
Details
/ test (push) Successful in 4m58s
Details
Run Rocq tests.
2026-03-30 19:36:24 -03:00
..
test.yml Run Rocq tests. 2026-03-30 19:36:24 -03:00