diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-02-21 16:34:11 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-21 16:34:11 +0000 |
commit | 85650692c13e8a3c9e377f8259059eef8712d3d3 (patch) | |
tree | 0598c865f308e9fc39b7a7bec6ab8a46ce48fdf9 /.github | |
parent | 171b326ade18ab77eb155a9d203f2f523708b29b (diff) | |
parent | 71fee63bcd943d33c761f228227b1bf8c60c1aac (diff) | |
download | vericert-85650692c13e8a3c9e377f8259059eef8712d3d3.tar.gz vericert-85650692c13e8a3c9e377f8259059eef8712d3d3.zip |
Merge branch 'develop' into dev/divider
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/ |