Closed egordon closed 2 years ago
Our DOCS workflow hasn't actually been deployment to our environment since we migrated to Github Actions in #598
Adding this step should fix this.
Before creating a pull request
make format
Before merging a pull request
CHANGELOG.md
Also manually ran deployment workflow: https://github.com/personalrobotics/aikido/actions/runs/1211485519
Our DOCS workflow hasn't actually been deployment to our environment since we migrated to Github Actions in #598
Adding this step should fix this.
Before creating a pull request
make format
Before merging a pull request
CHANGELOG.md