Skip to content
Documentation

Remove GitHub lint workflow since it is redundant with pre-commit.com #966

Sign in to view logs

Remove GitHub lint workflow since it is redundant with pre-commit.com

Remove GitHub lint workflow since it is redundant with pre-commit.com #966

Triggered via pull request January 26, 2024 22:21
@ericpreericpre
opened #218
ericpre:remove_lint_workflow
Status Failure
Total duration 1m 28s
Artifacts –

docs.yml

on: pull_request
Build  /  Check links and make PR comments
1m 15s
Build / Check links and make PR comments
Push  /  push_doc
Push / push_doc
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Build / Check links and make PR comments
Process completed with exit code 2.
Build / Check links and make PR comments
Duplicate explicit target name: "pre-commit.ci".