Manual

make: Also clean .revdesc and docs/stats/ #472

Sign in to view logs

Triggered via push January 5, 2026 23:47

tarsius

main

Status Success

Total duration 1m 16s

Artifacts –

manual.yml

on: push

Manual / Generate manual