Open xThaid opened 1 week ago
This PR updates the version of amaranth-stubs to https://github.com/kuznia-rdzeni/amaranth-stubs/pull/1. This should remove an Amaranth warning about deprecation of a few imports.
The other PR needs to be merged first.
This PR updates the version of amaranth-stubs to https://github.com/kuznia-rdzeni/amaranth-stubs/pull/1. This should remove an Amaranth warning about deprecation of a few imports.
The other PR needs to be merged first.