publish docs to GitHub Pages

docs/deployment: add generic deployment workflow #135

Sign in to view logs

Triggered via pull request April 17, 2024 07:06

katexochen

closed #332

p/docs-work

Status Success

Total duration 52s

Billable time 1m

Artifacts –

docs_publish.yml

on: pull_request

Publish docs to GitHub Pages