readthedocs: 'extensions' is not defined #1200
Closed
Comments
cmaureir
added a commit
that referenced
this issue
Jan 10, 2021
clacri
pushed a commit
that referenced
this issue
Jan 11, 2021
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Por alguna razón, hemos encontrado UPC/ravada#890 en la CI de readthedocs, y actualmente los builds tienen el siguiente error:
Localmente
extensionsestá definido, pero por alguna razón no en el CI de readthedocs.The text was updated successfully, but these errors were encountered: