Also build documentation as part of PRs #4

Triggered via push July 1, 2023 19:37

pguyot

Status Success

Total duration 3m 47s

Artifacts 1

build.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	30 KB