Closed quazirafi closed 2 years ago
Ready to be merged!!!
We moved the deploy_docs.yaml and test_docs.yaml workflows from DeveloperTools repo to .github repo.
As all checks passed this can be merged now I guess.
Ready to be merged!!!
We moved the deploy_docs.yaml and test_docs.yaml workflows from DeveloperTools repo to .github repo.