From fa4b252945a870100305c159d20e264be18973ce Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Thu, 26 Nov 2020 01:00:41 +0000
Subject: Add proof documentation

---
 .github/workflows/gh-pages.yml | 5 -----
 1 file changed, 5 deletions(-)

(limited to '.github')

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index ab4f277..ed7e032 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -19,11 +19,6 @@ jobs:
     - name: Generate documentation
       run: cd docs && emacs --batch --no-init --load publish.el --funcall org-publish-all
 
-    - name: Generation Coq documentation
-      env:
-        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-      run: scripts/download_artifact.sh
-
     - name: Generate Admitted icon
       run: python3 scripts/statistics.py src && mkdir -p docs/html/assets && mv admitted.svg docs/html/assets/.
 
-- 
cgit