diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-01-20 14:56:24 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-01-20 14:56:24 +0000 |
commit | 31c87f5e522516afcc2d227020f4383977c0f861 (patch) | |
tree | 91c9d4b3a17530889d61a583b2aaf386b17a269d /.github | |
parent | 8588ebb4621d85b7ccc738622339b3aa53486c31 (diff) | |
download | vericert-31c87f5e522516afcc2d227020f4383977c0f861.tar.gz vericert-31c87f5e522516afcc2d227020f4383977c0f861.zip |
Remove github pages from repository
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/gh-pages.yml | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml deleted file mode 100644 index ed7e032..0000000 --- a/.github/workflows/gh-pages.yml +++ /dev/null @@ -1,29 +0,0 @@ -name: docs - -on: - push: - branches: [ master ] - pull_request: - branches: [ master ] - -jobs: - build: - runs-on: ubuntu-latest - - steps: - - uses: actions/checkout@v2 - - - name: Install emacs - run: sudo apt-get install emacs - - - name: Generate documentation - run: cd docs && emacs --batch --no-init --load publish.el --funcall org-publish-all - - - name: Generate Admitted icon - run: python3 scripts/statistics.py src && mkdir -p docs/html/assets && mv admitted.svg docs/html/assets/. - - - name: Deploy gh-pages - uses: peaceiris/actions-gh-pages@v3 - with: - github_token: ${{ secrets.GITHUB_TOKEN }} - publish_dir: ./docs/html |