Skip to content

Add steps to switch to rfe in developer section #98

Add steps to switch to rfe in developer section

Add steps to switch to rfe in developer section #98

Workflow file for this run

name: OHRI DOCS CI
on:
push:
branches: [main]
pull_request:
branches: [main]
release:
types:
- created
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: pnpm/action-setup@v2
with:
version: 8
- name: Use Node.js
uses: actions/setup-node@v4
with:
node-version: "18"
# - name: Cache dependencies
# id: cache
# uses: actions/cache@v3
# with:
# path: |
# ~/.pnpm
# ${{ github.workspace }}/.next/cache
# # Generate a new cache whenever packages or source files change.
# key: ${{ runner.os }}-nextjs-${{ hashFiles('**/pnpm-lock.yaml') }}-${{ hashFiles('**/*.js', '**/*.jsx', '**/*.ts', '**/*.tsx') }}
# # If source files changed but packages didn't, rebuild from a prior cache.
# restore-keys: |
# ${{ runner.os }}-nextjs-${{ hashFiles('**/pnpm-lock.yaml') }}-
- name: Install dependencies
if: steps.cache.outputs.cache-hit != 'true'
run: pnpm install
- name: Run build
run: pnpm build
docs_deployment:
runs-on: ubuntu-latest
needs: build
# needs: update_config
if: ${{ github.ref == 'refs/heads/main' }}
steps:
- name: webfactory/ssh-agent
uses: webfactory/[email protected]
with:
ssh-private-key: ${{ secrets.HISTAC_OHRI_KEY }}
- name: SSH to remote OHRI Docs server via jump host
run: |
ssh -p 2308 \
-o "UserKnownHostsFile=/dev/null" \
-o "StrictHostKeyChecking=no" \
-o "ProxyCommand=ssh -o StrictHostKeyChecking=no -W %h:%p [email protected] -p 2202" \
[email protected] "\
cd /opt/build && sh deploy_docs.sh &>/dev/null"