Update github pages manual

Merge pull request #1346 from wader/man3 #1

Sign in to view logs

Triggered via push August 9, 2026 18:16

wader

master

Status Failure

Total duration 19s

Artifacts –

manual.yml

on: push

Annotations

1 error

Process completed with exit code 100.