Closed zachcran closed 1 year ago
Is this pull request associated with an issue(s)? No.
Description There were two definitions of docs_dir. This causes an error in the CI. This PR removes the second definition.
docs_dir
Is this pull request associated with an issue(s)? No.
Description There were two definitions of
docs_dir
. This causes an error in the CI. This PR removes the second definition.