Build and publish docs

Correct docs version #10

Sign in to view logs

Summary
Jobs
- build
- deploy
Run details
- Usage
- Workflow file

Triggered via push December 16, 2023 18:27

johnlees

master

Status Success

Total duration 1m 5s

Artifacts 1

docs_push.yml

on: push

Artifacts

Produced during runtime

Name	Size
github-pages Expired	16.7 MB