Skip to content

Conversation

@bkeryan
Copy link
Collaborator

@bkeryan bkeryan commented Nov 6, 2023

What does this Pull Request accomplish?

Add a Read the Docs config.

Why should this Pull Request be merged?

Partial fix for #431

What testing has been done?

None. (I can't get RTD to find my dev branch.)

@github-actions
Copy link
Contributor

github-actions bot commented Nov 7, 2023

Test Results

       30 files  ±0         30 suites  ±0   39m 23s ⏱️ +23s
     491 tests ±0       491 ✔️ ±0         0 💤 ±0  0 ±0 
12 510 runs  ±0  11 450 ✔️ ±0  1 060 💤 ±0  0 ±0 

Results for commit 3581eca. ± Comparison against base commit f7b1494.

♻️ This comment has been updated with latest results.

@bkeryan bkeryan merged commit 43249a5 into main Nov 7, 2023
@bkeryan bkeryan deleted the users/bkeryan/rtd branch November 7, 2023 15:01
bkeryan added a commit that referenced this pull request Nov 7, 2023
bkeryan added a commit that referenced this pull request Nov 7, 2023
bkeryan added a commit that referenced this pull request Nov 7, 2023
bkeryan added a commit that referenced this pull request Nov 7, 2023
bkeryan added a commit that referenced this pull request Nov 7, 2023
bkeryan added a commit that referenced this pull request Nov 7, 2023
* rtd: Add .readthedocs.yml (#505)

* rtd: Remove --with docs for releases/1.0
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.

3 participants