endojs / endo

Endo is a distributed secure JavaScript sandbox, based on SES
Apache License 2.0
829 stars 72 forks source link

track type coverage #1796

Closed turadg closed 1 year ago

turadg commented 1 year ago

Description

Akin to https://github.com/Agoric/agoric-sdk/pull/8410/

This adds type coverage monitoring to the packages. It doesn't introduce a CI check for regressions but that would be a short hop from this.

To simplify the implementation it also changes jsconfig to tsconfig. In the course of doing that, some type errors were detected in a two year old ts-types.d.ts and for now they have FIXME.

Security Considerations

n/a

Scaling Considerations

n/a

Documentation Considerations

n/a

Testing Considerations

CI

Upgrade Considerations

n/a

michaelfig commented 1 year ago

Sorry I haven't gotten to reviewing this yet. I will make an effort to do so when my backlog empties a little bit. ;)