cva6
cva6 copied to clipboard
Add readthedocs action to GitHub
As discussed in https://github.com/openhwgroup/cva6/issues/2650, a GitHub Action could be added to check that the docs can be built before merging pull requests.
There is an official repository: https://github.com/readthedocs/actions
I’m not sure if it is what we want to do.