Skip to content
Commit bc42fd1c authored by Corentin Noël's avatar Corentin Noël Committed by Niels De Graef
Browse files

ci: Only build documentation when required 

We only need the documentation in the coverage build.
parent bb52f803
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment