Developers will need to know to make the new files. This globs for both old and new so no tests are accidentally omitted from CI. https://github.com/Agoric/agoric-sdk/issues/8273 will be closed by dropping the custom glob and ensuring no old names remain.
Refs: https://github.com/Agoric/agoric-sdk/issues/8273
Description
Akin to https://github.com/Agoric/agoric-sdk/pull/8653
Security Considerations
none
Scaling Considerations
none
Documentation Considerations
reduces need to document differences
Testing Considerations
CI
Compatibility Considerations
Developers will need to know to make the new files. This globs for both old and new so no tests are accidentally omitted from CI. https://github.com/Agoric/agoric-sdk/issues/8273 will be closed by dropping the custom glob and ensuring no old names remain.
Upgrade Considerations
none