.github: trim number of runners started on push + pr #9

Triggered via push July 9, 2025 09:26

troglobit

doc-refactor

Status Success

Total duration 25s

Artifacts 1

docs.yml

on: push

Produced during runtime

Name	Size	Digest
github-pages Expired	1.53 MB	`sha256:100a461ad647880e5d08cf323e9843c8991f30dbbe96a5889a1f645d647e96d8`