Skip to content

Merge branch 'latest' into develop #973

Merge branch 'latest' into develop

Merge branch 'latest' into develop #973

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: Setup ruby
uses: ruby/setup-ruby@v1
with:
ruby-version: '3.3'
bundler-cache: true
- name: Make Html
run: |
rake build
- 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"