I noticed that the CI badges in the README are not working and the cause is that I copy-pasted them from an example line without updating the name of the target branch.
I also added them to the documentation's landing page (that badge is still red because in order to enable the online build of the documentation this repository needs to be connected to ReadTheDocs).
I noticed that the CI badges in the README are not working and the cause is that I copy-pasted them from an example line without updating the name of the target branch.
I also added them to the documentation's landing page (that badge is still red because in order to enable the online build of the documentation this repository needs to be connected to ReadTheDocs).