Skip to content

use logger for prints so we see them in log #906

use logger for prints so we see them in log

use logger for prints so we see them in log #906

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:bookworm-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