You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
It is possible for a PR to be merged to this repo where go mod tidy hasn't been run. This is problematic because when developers pull latest v0.34.x-celestia and make a change, running go mod tidy may modify imports in go.mod that are unrelated to their change.
Proposal
Add a Github workflow that fails if go mod tidy hasn't been run on the PR
The text was updated successfully, but these errors were encountered:
Context
#871 (comment)
Problem
It is possible for a PR to be merged to this repo where
go mod tidy
hasn't been run. This is problematic because when developers pull latestv0.34.x-celestia
and make a change, runninggo mod tidy
may modify imports ingo.mod
that are unrelated to their change.Proposal
Add a Github workflow that fails if
go mod tidy
hasn't been run on the PRThe text was updated successfully, but these errors were encountered: