admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
7,705 Commits 215 Branches 0 Tags
next-develop
Commit Graph

3 Commits

Author SHA1 Message Date
Ivan Krysak 37c2cb12ed test-docs: use new pipeline 2026-06-15 17:28:22 +02:00
Giacomo Vercesi a8e13e4ee7 docs: fix 
Fix the docs so that `revng test-docs` passes. Rework the
`model-from-scrach.md` to use the new pipeline.
 2026-04-10 11:45:13 +02:00
Alessandro Di Federico 797ad1678b Document CLI commands 2024-12-11 16:15:43 +01:00