More fixes for GitHub build of docs #9

Triggered via push February 5, 2024 17:13

alcrene

main

Status Success

Total duration 2m 39s

Artifacts 1

deploy.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	1.81 MB