Skip to content

ci: remove lint job from GitHub CI#106408

Merged
craig[bot] merged 1 commit intocockroachdb:masterfrom
rickystewart:ci-make-lint
Jul 7, 2023
Merged

ci: remove lint job from GitHub CI#106408
craig[bot] merged 1 commit intocockroachdb:masterfrom
rickystewart:ci-make-lint

Conversation

@rickystewart
Copy link
Copy Markdown
Collaborator

@rickystewart rickystewart commented Jul 7, 2023

With staticcheck and unused working identically under lint in Bazel and make now, it's time! Delete this file so that GitHub CI lint stops running. This is the last GitHub CI job. :) Now only Bazel builds and tests will run on PR's.

Epic: CRDB-15060
Release note: None

@rickystewart rickystewart requested a review from rail July 7, 2023 16:00
@rickystewart rickystewart requested a review from a team as a code owner July 7, 2023 16:00
@cockroach-teamcity
Copy link
Copy Markdown
Member

This change is Reviewable

With `staticcheck` and `unused` working identically under `lint` in
Bazel and `make` now, it's time! Delete this file so that GitHub CI
lint stops running. This is the *last* GitHub CI job. :) Now only Bazel
builds and tests will run on PR's.

Epic: CRDB-15060
Release note: None
@rickystewart
Copy link
Copy Markdown
Collaborator Author

bors r=rail

@craig
Copy link
Copy Markdown
Contributor

craig bot commented Jul 7, 2023

Build succeeded:

@craig craig bot merged commit d802aaf into cockroachdb:master Jul 7, 2023
@rickystewart
Copy link
Copy Markdown
Collaborator Author

blathers backport 23.1

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants