mirror of
https://git.jabber.space/devs/cproof.git
synced 2026-07-18 11:06:21 +00:00
- The code tests will ignore doc changes and vice versa. - The CI is split in 2 parts for clarity
- The code tests will ignore doc changes and vice versa. - The CI is split in 2 parts for clarity