Skip to content

Add now mandatory readthedocs config files#1419

Merged
mvdbeek merged 1 commit intogalaxyproject:masterfrom
nsoranzo:rtd_config
Dec 15, 2023
Merged

Add now mandatory readthedocs config files#1419
mvdbeek merged 1 commit intogalaxyproject:masterfrom
nsoranzo:rtd_config

Conversation

@nsoranzo
Copy link
Member

Docs builds currently fail with:

Problem in your project's configuration. No default configuration file found at repository's root. See https://docs.readthedocs.io/en/stable/config-file/

See e.g. https://readthedocs.org/projects/planemo/builds/22785619/

Fix #1418 .

Docs builds currently fail with:

```
Problem in your project's configuration. No default configuration file found at repository's root. See https://docs.readthedocs.io/en/stable/config-file/
```

See e.g. https://readthedocs.org/projects/planemo/builds/22785619/

Fix galaxyproject#1418 .
@mvdbeek mvdbeek merged commit ec25341 into galaxyproject:master Dec 15, 2023
@mvdbeek
Copy link
Member

mvdbeek commented Dec 15, 2023

Thanks a lot!

@nsoranzo nsoranzo deleted the rtd_config branch December 15, 2023 20:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

readthedocs is out of date

2 participants