improve API docs linter (#3608)

2024-08-04 13:12:30 +02:00
parent 49c8acf2f6
commit 972ffbf332
21 changed files with 182 additions and 25 deletions
@@ -137,7 +137,7 @@ jobs:
    steps:
    - uses: actions/checkout@v3

-    - run: make apidocs-gen
+    - run: make apidocs

    - run: mv apidocs/*.html apidocs/index.html