diff options
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/main.yml | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index cacf7fa..a4a954c 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -36,11 +36,3 @@ jobs: - name: Build run: nix-shell --run "make -j8" - - - name: Generate Documentation - run: nix-shell --run "make -j8 doc" - - - uses: actions/upload-artifact@v2 - with: - name: html-documentation - path: html/ |