Skip to content

changing to python.org installed python (as opposed to brew) #872

changing to python.org installed python (as opposed to brew)

changing to python.org installed python (as opposed to brew) #872

name: docs_pages_workflow
# execute this workflow automatically when a we push to master
on:
push:
jobs:
update_docs:
runs-on: ubuntu-latest
container: debian:bullseye-slim
steps:
- name: Prereqs
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
set -x
apt-get update
apt-get install -y git
git clone "https://token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git" .
shell: bash
- name: Execute script to build our documentation and update pages
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: "docs/updatePages.sh"
shell: bash