From a099573c852cfbe63bcc1e65eddc093f68b75e8a Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 14 Aug 2020 01:57:45 +0100
Subject: Add download of Coq documentation

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

(limited to '.github/workflows')

diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml
index ed7e032..ab4f277 100644
--- a/.github/workflows/gh-pages.yml
+++ b/.github/workflows/gh-pages.yml
@@ -19,6 +19,11 @@ 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