Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

consolidate lint job #8061

Draft
wants to merge 1 commit into
base: master
Choose a base branch
from
Draft

consolidate lint job #8061

wants to merge 1 commit into from

Conversation

turadg
Copy link
Member

@turadg turadg commented Jul 18, 2023

no issue

Description

#8058 made linting with types fast enough to enable again. It's even fast enough now that the splitting doesn't save any time.

This gets rid of the lint-with-types.sh script that managed the splitting. The CI job now just runs yarn lint. Doing that required that each package's yarn lint command has types enabled, so it does that too.

An upshot is that now running yarn lint locally will check no-floating-promises, even though the IDE still doesn't.

Security Considerations

n/a

Scaling Considerations

n/a

Documentation Considerations

reduces need to document

Testing Considerations

CI.

Once it passes, someone will have to update branch protections to remove the split primary/rest requirements.

@turadg turadg requested review from kriskowal and iomekam July 18, 2023 20:51
@turadg
Copy link
Member Author

turadg commented Jul 21, 2023

I'm exploring ways I can land this without churn on people's branch protection checks.

Also I've seen it working sometimes in my IDE so I'm exploring whether we can enable this always (remove the option)

Copy link

cloudflare-workers-and-pages bot commented May 2, 2024

Deploying agoric-sdk with  Cloudflare Pages  Cloudflare Pages

Latest commit: 3cad269
Status: ✅  Deploy successful!
Preview URL: https://adbdc5b2.agoric-sdk.pages.dev
Branch Preview URL: https://ta-consolidate-lint.agoric-sdk.pages.dev

View logs

@turadg turadg marked this pull request as draft May 30, 2024 17:37
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