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
Enable one level of git submodules for soundness checks
Motivation:
Submodules are used by some repos.
Note: Not all the soundness checks strictly need submodules
but when working locally you'll have submodules checked out
which can break the various linters so to keep local workflows
functional it's best to get submodules for PR too.
Modifications:
Make the checkout action get one level of submodules for
soundness checks.
Result:
Soundness more generally correct.
0 commit comments