what is the "formal" or "suggested" flow after finishing our design in local? in quickstart document it says: make precheck make run-precheck and then upload the repo to efabless I tried pushing my repo and then CI starts running pdk, mpw_precheck, user_project_flow_sky130A and user_project_flow_sky130B Due to version mismatch of PDKs, user_project_flow_sky130A and user_project_flow_sky130B are failing but pdk and mpw_precheck are passing Now I am updating PDKs in local with make pdk and then redo the flow for user_project_wrapper and see the results after pushing Do I need to run precheck locally? or just pushing github is enough since it also run precheck?

local precheck only helps you to locally debug any possible failure in website pre-checks and it's not a mandatory requirement.

thanks @Dinesh A so pushing the repo to github and CI checks are the important one, if they pass then it is OK to upload to efabless ? (edited)

CI checks may newly added, My push are not going through CI checks

efabless precheck is the only one that matters

Well github CI complains about "not found abc.gds if you push after "make compress" I got same results from efabless precheck and local "make run-precheck". So a local precheck could be beneficial before pushing to efabless server Maybe github CI could be updated to find compressed gds'es and uncompress then proceed