Closed EarthlingDavey closed 4 months ago
This PR enables GitHub pages to be built, on a push to the main branch.
The workflow is the default, suggested by GH, with the one exception that I changed source: ./ to source: ./.github/pages/ to reflect the location of our docs.
source: ./
source: ./.github/pages/
This PR enables GitHub pages to be built, on a push to the main branch.
The workflow is the default, suggested by GH, with the one exception that I changed
source: ./
tosource: ./.github/pages/
to reflect the location of our docs.