[MIRROR] Demotes the "electrical conductivity" flag from flags_1 to obj_flags
#1710
Triggered via pull request
December 3, 2023 07:59
Steals-The-PRs
Steals-The-PRs
opened
#949
Status
Success
Total duration
20m 47s
Artifacts
–