Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
fix checkout command for docs building action
Seems like after using the default git checkout github actions step, we can't use other git commands because of some nonsense with the ssh key. Rather than deal with figuring that out, I have just moved all of the weirdness we were doing in the git command to the original checkout command. I have also removed the `rm -rf build/html` command. That directory does not exist before the clone (I think this was carried over from a previous script, because it doesn't actually break anything).
- Loading branch information