From 0596f4f47d077237ff290bd99647a51b15a42eb2 Mon Sep 17 00:00:00 2001
From: Alejandro Gallo <aamsgallo@gmail.com>
Date: Mon, 6 Sep 2021 16:51:35 +0200
Subject: [PATCH] Test creating docs

---
 .github/workflows/main.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
index 7ce56ca..a1e11cb 100644
--- a/.github/workflows/main.yml
+++ b/.github/workflows/main.yml
@@ -38,3 +38,13 @@ jobs:
 
     - name: Build bench
       run: nix-shell --run 'make bench'
+
+    - name: create doc
+      run: mkdir doc && cd doc && echo hello world > index.html
+
+    - name: Deploy
+      uses: JamesIves/github-pages-deploy-action@4.1.0
+      with:
+         branch: gh-pages
+         folder: ./doc
+