Skip to content
CI

CI: move docs job into separate workflow #40

Sign in to view logs

CI: move docs job into separate workflow

CI: move docs job into separate workflow #40

Triggered via push October 17, 2025 17:28
@fingolfinfingolfin
pushed a06e903
master
Status Success
Total duration 12m 6s
Artifacts –

CI.yml

on: push
Matrix: test
Fit to window
Zoom out
Zoom in