In the drc log file I see this:

DRC style is now "drc(full)"
Loading DRC CIF style.
[INFO]: COUNT: 3675834
[INFO]: Should be divided by 3 or 4
[INFO]: DRC Checking DONE (/home/hadirkhan/chipignite/openram_testchip2/openlane/user_project_wrapper/runs/23_09_07_20_28/reports/signoff/drc.rpt)
[INFO]: Saving mag view with DRC errors (/home/hadirkhan/chipignite/openram_testchip2/openlane/user_project_wrapper/runs/23_09_07_20_28/results/signoff/user_project_wrapper.drc.mag)
[INFO]: Saved

However, the flow continue saying that drc count is 0

[STEP 41]
[INFO]: Running Magic DRC (log: ../home/hadirkhan/chipignite/openram_testchip2/openlane/user_project_wrapper/runs/23_09_07_20_28/logs/signoff/41-drc.log)...
[INFO]: Converting Magic DRC database to various tool-readable formats...
[INFO]: No DRC violations after GDS streaming out.

I believe the openlane drc rule set is the minimal set. The

drc(full)

option offers a more robust check. Note, running full drc on sram macros will generate a lot of errors. Normally, sram macros are replaced with abstracted versions before full drc.

I have set

MAGIC_DRC_USE_GDS: 0

in the config file. So I think it is running drc on def/lef instead of the gds

Could be running on

mag

data instead of

gds

too. Do you see any difference between

user_project_wrapper/runs/23_09_07_20_28/logs/signoff/41-drc.log

and

user_project_wrapper/runs/23_09_07_20_28/reports/signoff/drc.rpt

? Maybe in what rules were executed?

These are the rules being violated in drc.rpt

----------------------------------------
Metal4 > 3um spacing to unrelated m4 < 0.4um (met4.5b)
----------------------------------------

----------------------------------------
Metal3 > 3um spacing to unrelated m3 < 0.4um (met3.3d)
----------------------------------------

----------------------------------------
Min area of metal1 holes > 0.14um^2 (met1.7)
----------------------------------------

----------------------------------------
Min area of metal2 holes > 0.14um^2 (met2.7)
----------------------------------------

----------------------------------------
All nwells must contain metal-connected N+ taps (nwell.4)
----------------------------------------

----------------------------------------
Metal2 width < 0.14um (met2.1)
----------------------------------------

The last one seems like it should show up in the openlane rule check. The others may not be in the quick rule check. You should be able to check the variant in the drc report (

drc(full)

, etc.) and then look in the

$PDK_ROOT/$PDK/libs.tech/magic/sky130A.tech

file to see if the rule is covered in that variant or not.