diff options
author | Yann Herklotz <git@yannherklotz.com> | 2020-08-10 18:53:52 +0200 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2020-08-10 18:53:52 +0200 |
commit | c9f61e391cd597844af93dd2014d9668798e712e (patch) | |
tree | c321cab892a5142adc6d49677560234d89a02e3f /.github/workflows/gh-pages.yml | |
parent | 377533ec91e516f43078cfe49623a34f5a402442 (diff) | |
download | vericert-c9f61e391cd597844af93dd2014d9668798e712e.tar.gz vericert-c9f61e391cd597844af93dd2014d9668798e712e.zip |
Add gh-pages
Diffstat (limited to '.github/workflows/gh-pages.yml')
-rw-r--r-- | .github/workflows/gh-pages.yml | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/.github/workflows/gh-pages.yml b/.github/workflows/gh-pages.yml new file mode 100644 index 0000000..52a9b32 --- /dev/null +++ b/.github/workflows/gh-pages.yml @@ -0,0 +1,34 @@ +# This is a basic workflow to help you get started with Actions + +name: Admitted Icon + +# Controls when the action will run. Triggers the workflow on push or pull request +# events but only for the master branch +on: + push: + branches: [ master ] + pull_request: + branches: [ master ] + +# A workflow run is made up of one or more jobs that can run sequentially or in parallel +jobs: + # This workflow contains a single job called "build" + build: + # The type of runner that the job will run on + runs-on: ubuntu-latest + + # Steps represent a sequence of tasks that will be executed as part of the job + steps: + # Checks-out your repository under $GITHUB_WORKSPACE, so your job can access it + - uses: actions/checkout@v2 + + # Runs a single command using the runners shell + - name: Generate Admitted icon + run: python3 scripts/statistics.py src && mkdir -p docs/assets && mv admitted.svg docs/assets/. + + - name: Deploy gh-pages + uses: peaceiris/actions-gh-pages@v3 + with: + github_token: ${{ secrets.GITHUB_TOKEN }} + publish_dir: ./docs + enable_jekyll: true |