From aa5b7cce7dafcf11ae5e8fe5d72188cafa05eb36 Mon Sep 17 00:00:00 2001 From: Yann Herklotz Date: Tue, 16 Feb 2021 18:21:39 +0000 Subject: Remove the documentation stages --- .github/workflows/main.yml | 8 -------- 1 file changed, 8 deletions(-) (limited to '.github') 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/ -- cgit