jj/.github/scripts
Ilya Grigoriev c8bb8fbeb2 Github actions to build docs
One action publishes the 'prerelease' version on every push
to `main`.

The other publishes a 'latest' version on every releasse.

I tested both of them, but not with branch protection rules.
2023-08-28 10:43:48 -07:00
..
docs-build-deploy Github actions to build docs 2023-08-28 10:43:48 -07:00