-
Notifications
You must be signed in to change notification settings - Fork 0
48 lines (40 loc) · 1.3 KB
/
Copy pathdocs-sync.yml
File metadata and controls
48 lines (40 loc) · 1.3 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
# SPDX-FileCopyrightText: 2026 The inference-cache Authors
#
# SPDX-License-Identifier: Apache-2.0
name: Docs Sync
# Keep the public API documentation gate responsive to the no-docs-needed
# waiver without restarting the full CI suite for every label change.
on:
pull_request:
branches:
- main
types:
- opened
- synchronize
- reopened
- labeled
- unlabeled
permissions:
contents: read
concurrency:
group: docs-sync-${{ github.ref }}
cancel-in-progress: true
jobs:
docs-sync:
name: Docs Sync
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6
- name: Fetch pull request base
env:
PR_BASE_REF: ${{ github.base_ref }}
run: git fetch --no-tags origin "+refs/heads/${PR_BASE_REF}:refs/remotes/origin/${PR_BASE_REF}"
- name: Verify docs updated for public-surface changes
if: ${{ !contains(github.event.pull_request.labels.*.name, 'no-docs-needed') }}
env:
PR_BASE_REF: ${{ github.base_ref }}
run: make verify-docs-sync DOCS_SYNC_BASE="origin/${PR_BASE_REF}"
- name: Record docs-sync waiver
if: ${{ contains(github.event.pull_request.labels.*.name, 'no-docs-needed') }}
run: echo "Docs-sync waived by the no-docs-needed label."