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 +