fix linting + mistakes of PR #348 #993

Triggered via push February 8, 2025 20:47

GlenDC

main

Status Success

Total duration 1m 35s

Artifacts 1

mdbook.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	21.5 MB