Docs

Update CI workflow #8

Sign in to view logs

Triggered via push June 30, 2026 09:22

fingolfin

master

Status Success

Total duration 31m 44s

Artifacts 1

docs.yml

on: push

Artifacts

Produced during runtime

Name	Size	Digest
manual.pdf	146 KB	`sha256:1fe1bfd8d3c957525719d4a9aaec9e980f4eac08d1de0d1c83a57c00cb1f680a`