Skip to content

.github: Add job names and restrict permission & credentials #86

.github: Add job names and restrict permission & credentials

.github: Add job names and restrict permission & credentials #86

Triggered via pull request August 2, 2025 18:54
Status Success
Total duration 19s
Artifacts 1

docs.yml

on: pull_request
Build documentation
16s
Build documentation
Deploy documentaion
0s
Deploy documentaion
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
artifact
164 KB
sha256:f6a8450ab9fe9ab0a87156b16dcc2a7308d73bdf221ea163eac11e00f8f44beb