Commit fd54db0e45b3373b5537ad37247f032251449387
2021-08-10T13:13:10
ci: build docs in source directory for consistency All the other workflows jobs check out into the `source` directory; do this in the documentation build job as well, for consistency across jobs.