Skip to content

exit gracefully if there is no change #16

exit gracefully if there is no change

exit gracefully if there is no change #16

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@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0
- name: Set up JDK
uses: actions/setup-java@ad2b38190b15e4d6bdf0c97fb4fca8412226d287 # v5.3.0
with:
distribution: 'oracle'
java-version: '21'
- name: Checkout gh-pages branch
if: github.repository == 'oracle/opengrok'
uses: actions/checkout@9c091bb21b7c1c1d1991bb908d89e4e9dddfe3e0 # v7.0.0
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