Skip to content

Rename branch master to main in CI lint #6

Rename branch master to main in CI lint

Rename branch master to main in CI lint #6

Workflow file for this run

name: "OpenApi lint"
on:
push:
branches: [ main, release* ]
pull_request:
workflow_dispatch:
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
jobs:
openapi-lint:
runs-on: ubuntu-latest
steps:
- name: Check out source repository
uses: actions/checkout@v3
- name: Install redocly cli
run: |
npm install -g @redocly/[email protected]
- name: Lint OpenAPI spec
run: |
redocly lint ./specification/protocol/open_inference_rest.yaml
grpc-proto-lint:
runs-on: ubuntu-latest
steps:
- name: Check out source repository
uses: actions/checkout@v3
- name: Setup buf
uses: bufbuild/buf-setup-action@v1
- name: Run buf lint
uses: bufbuild/buf-lint-action@v1
with:
input: ./specification/protocol