Skip to content

CI: move docs job into separate workflow - #54

Merged
fingolfin merged 2 commits into
masterfrom
mh/docs
Oct 22, 2025
Merged

CI: move docs job into separate workflow#54
fingolfin merged 2 commits into
masterfrom
mh/docs

Ignore doc warnings for now

3dbce17
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Oct 18, 2025 in 0s

Coverage not affected when comparing 23398ca...3dbce17

View this Pull Request on Codecov

Coverage not affected when comparing 23398ca...3dbce17

View more details on Codecov