Skip to content

Merge branch 'latest' into develop #958

Merge branch 'latest' into develop

Merge branch 'latest' into develop #958

Workflow file for this run

name: Publish Html
on:
push:
branches: [latest, develop, release-*]
pull_request:
branches: [latest, develop, release-*]
defaults:
run:
shell: bash
jobs:
publish:
runs-on: ubuntu-latest
steps:
- name: checkout
uses: actions/checkout@v3
- name: Make Html
run: |
export OOD_BRANCH=${GITHUB_HEAD_REF:-${GITHUB_REF#refs/heads/}}
docker run --rm -v "${PWD}:/doc" -u "$(id -u):$(id -g)" -e OOD_BRANCH ohiosupercomputer/ood-doc-build:v2.0.0 make html
- name: Publish to the test repo
run: GITHUB_TOKEN=${{ secrets.OSC_WIAG_PUB_REPO_TOKEN }} /bin/bash push.sh "ood-documentation-test"
- name: Publish to the main repo
if: github.event_name == 'push'
run: GITHUB_TOKEN=${{ secrets.OSC_WIAG_PUB_REPO_TOKEN }} /bin/bash push.sh "ood-documentation"