Add docs workflow

[zaida04]

Request

Add a docs workflow to ensure we have up to date docs and have less reliance on manual work

When?

On push to master (e.x. merged prs or straight commits)

Steps

• will build the libs
• build the typedoc docs
• push to https://github.com/cordis-lib/cordis-lib.github.io

Additional Notes

We will need to make use of the GITHUB_TOKEN environment variable in order to have permissions to push straight to the master branch of cordis-lib.github.io

[didinele]

Fyi master/main is guarded, and can not be pushed to directly.

[zaida04]

master/main of this repo or of the docs repo

[didinele]

Was quoting

When?
On push to master (e.x. merged prs or straight commits)

Yeah, this repository.