BTW I started creating GitHub Issues for the various checkers that we need for the SKY130 PDK at https://github.com/google/skywater-pdk-actions/issues