Some experiments with tools for a reference manual #1064

Triggered via pull request August 1, 2025 18:49

jneem

opened #2305

docs

Status Success

Total duration 31m 39s

Artifacts 2

benchmark-pr.yaml

on: pull_request

Produced during runtime

Name	Size	Digest
criterion-output Expired	834 Bytes	`sha256:cfe221d217af466ebc93ded21ba3c3aaa189714800330726dd9d793ae91b4d55`
event.json Expired	3.55 KB	`sha256:d2368522c7a2191d97e928c561aedbd6e852e3e939bb98a4fc4af1de24191dc8`