Skip to content

exit openapi refresh gracefully if there is no change #14

exit openapi refresh gracefully if there is no change

exit openapi refresh gracefully if there is no change #14

Workflow file for this run

name: Generate REST API documentation
on:
push:
paths:
- openapi.yaml
- .github/workflows/openapi.yml
- dev/openapi.sh
branches:
- master
pull_request:
paths:
- openapi.yaml
- .github/workflows/openapi.yml
- dev/openapi.sh
permissions:
contents: write
jobs:
ubuntu:
runs-on: ubuntu-latest
steps:
- name: Checkout master branch
uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
- name: Set up JDK
uses: actions/setup-java@be666c2fcd27ec809703dec50e508c2fdc7f6654 # v5.2.0
with:
distribution: 'oracle'
java-version: '21'
- name: Checkout gh-pages branch
if: github.repository == 'oracle/opengrok'
uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
with:
ref: gh-pages
path: gh-pages
- name: Refresh REST API doc
env:
OPENGROK_REPO_SLUG: ${{ github.repository }}
OPENGROK_PULL_REQUEST: ${{ github.head_ref }}
OPENGROK_REF: ${{ github.ref }}
OPENGROK_BUILD_DIR: ${{ github.workspace }}
run: ./dev/openapi.sh