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.

Sign up for GitHub

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

Jump to bottom

build: Check types in CI #116

Open

Peeja wants to merge 2 commits into old-main from check-types-in-ci

Member

Peeja commented Aug 27, 2024 •

edited

Loading

This is expected to fail at first, because our types don't in fact check cleanly today.

Peeja added 2 commits

August 27, 2024 14:38


          Check types in CI

1531c54


          Let HTTP.open() infer the service type

f9c60c9

Peeja requested a review from travis

August 27, 2024 18:40

Peeja changed the title ~~Check types in CI~~ build: Check types in CI

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

Labels

None yet