They should say on this page that this project has ended. There are some spinoffs people interested in this can look into:

https://tinytapeout.com/

https://wafer.space/

https://chipfoundry.io/