Skip to content
This repository was archived by the owner on Jan 16, 2026. It is now read-only.

chore(ci): Fail CI on doclint failure#101

Merged
refcell merged 2 commits intomainfrom
cl/doc-lint-ci-fail
Apr 14, 2024
Merged

chore(ci): Fail CI on doclint failure#101
refcell merged 2 commits intomainfrom
cl/doc-lint-ci-fail

Conversation

@clabby
Copy link
Contributor

@clabby clabby commented Apr 14, 2024

Overview

Allows the CI to fail on doclint failure, and fixes our existing warnings/errors.

@clabby clabby added K-chore Kind: chore A-ci Area: CI labels Apr 14, 2024
@clabby clabby self-assigned this Apr 14, 2024
@clabby clabby marked this pull request as ready for review April 14, 2024 20:33
@clabby clabby force-pushed the cl/doc-lint-ci-fail branch from 7df3954 to b4df6e7 Compare April 14, 2024 20:34
@refcell refcell added this pull request to the merge queue Apr 14, 2024
Merged via the queue into main with commit d5ded03 Apr 14, 2024
@github-actions github-actions bot mentioned this pull request Apr 14, 2024
@clabby clabby deleted the cl/doc-lint-ci-fail branch April 19, 2024 18:51
This was referenced May 29, 2024
This was referenced Jun 6, 2024
This was referenced Jun 16, 2024
theochap pushed a commit to ethereum-optimism/optimism that referenced this pull request Dec 10, 2025
* chore(ci): Fail CI on doclint failure

* fix(workspace): cargo doc links
theochap pushed a commit to ethereum-optimism/optimism that referenced this pull request Jan 14, 2026
* chore(ci): Fail CI on doclint failure

* fix(workspace): cargo doc links
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

A-ci Area: CI K-chore Kind: chore

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants