Skip to content
Create a GitHub release once a release PR is merged

Bumb readthedocs ubuntu image version to fix the docs generation #700

Sign in to view logs

Bumb readthedocs ubuntu image version to fix the docs generation

Bumb readthedocs ubuntu image version to fix the docs generation #700

Run time

Learn about OS pricing on GitHub Actions
Job Run time
if_merged
0s
0s