Skip to content

Merge pull request #324 from jdebacker/initiatives #6

Merge pull request #324 from jdebacker/initiatives

Merge pull request #324 from jdebacker/initiatives #6

name: Update community docs
on:
push:
branches:
- master
paths:
- "Community/**.md"
- "Catalog/**.md"
jobs:
build_community_pages:
runs-on: ubuntu-latest
steps:
- name: Checkout repo
uses: actions/checkout@v2
- name: Setup Miniconda
uses: conda-incubator/[email protected]
with:
activate-environment: catalog-env
environment-file: environment.yml
python-version: 3.8
auto-activate-base: false
- name: Run shell script
working-directory: ./Tools/Page-Builder/
shell: bash -l {0}
run: |
pip install -r requirements.txt
sh make_pages.sh
- name: Commit new changes
working-directory: ./
shell: bash -l {0}
run: |
git config user.name github-actions
git config user.email [email protected]
git add -A
git commit --allow-empty -m "Update PSL community pages on $(date +'%Y-%m-%d')"
git push