Skip to content

Conversation

@ptgott
Copy link
Contributor

@ptgott ptgott commented May 20, 2025

Since v14 is no longer visible on the docs site, remove the docs linting job. The doc-tests-bypass.yaml job will satisfy check requirements.

@ptgott ptgott changed the title Remove Lint (Docs) [v14] Remove Lint (Docs) May 20, 2025
@github-actions github-actions bot requested review from hugoShaka and vapopov May 20, 2025 14:05
@hugoShaka hugoShaka added the no-changelog Indicates that a PR does not require a changelog entry label May 20, 2025
@hugoShaka
Copy link
Contributor

I think the bypass must be edited to always run so we meet the requirements:

on:
pull_request:
paths-ignore:
- 'docs/**'
- 'examples/**'
- 'CHANGELOG.md'
merge_group:
paths-ignore:
- 'docs/**'
- 'examples/**'
- 'CHANGELOG.md'

If I understand correctly, this can be done by removing the path-ignore

Since v14 is no longer visible on the docs site, remove the docs linting
job. The `doc-tests-bypass.yaml` job will satisfy check requirements.
@ptgott ptgott force-pushed the paul.gottschling/2025-05-20-rm-docs branch from ee9ca78 to 40bd3dc Compare May 20, 2025 14:19
@ptgott
Copy link
Contributor Author

ptgott commented May 20, 2025

I think the bypass must be edited to always run so we meet the requirements:

on:
pull_request:
paths-ignore:
- 'docs/**'
- 'examples/**'
- 'CHANGELOG.md'
merge_group:
paths-ignore:
- 'docs/**'
- 'examples/**'
- 'CHANGELOG.md'

If I understand correctly, this can be done by removing the path-ignore

Thanks! Edited.

@public-teleport-github-review-bot public-teleport-github-review-bot bot removed the request for review from vapopov May 20, 2025 14:30
@ptgott ptgott added this pull request to the merge queue May 20, 2025
Merged via the queue into branch/v14 with commit 3a3cf27 May 20, 2025
27 checks passed
@ptgott ptgott deleted the paul.gottschling/2025-05-20-rm-docs branch May 20, 2025 14:58
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport no-changelog Indicates that a PR does not require a changelog entry size/sm

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants