repo: fixing doc workflow

etiennedemontalivet · Dec 7, 2023 · 4e03c64 · 4e03c64
1 parent ecd2772
commit 4e03c64
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml