There are some additional things that should go into the cache key: 1. clock constraints 2. `NMIGEN_*` environment variables 3. maybe the `nmigen`, `nmigen-boards`, `...` version
There are some additional things that should go into the cache key:
NMIGEN_*environment variablesnmigen,nmigen-boards,...version