specify setproperties more precisely #11

[jw3126]

close #11

[codecov-io]

Codecov Report

Merging #12 into master will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##           master      #12   +/-   ##
=======================================
  Coverage   92.85%   92.85%           
=======================================
  Files           1        1           
  Lines          14       14           
=======================================
  Hits           13       13           
  Misses          1        1

Impacted Files	Coverage Δ
src/ConstructionBase.jl	92.85% <ø> (ø)	⬆️

---

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update ee593e5...c549745. Read the comment docs.

[tkf]

LGTM!

[tkf]

BTW, should I go ahead merge PRs here and in Setfield if it doesn't say WIP?

[jw3126]

I am a bit sloppy with annotating PRs WIP. I will try to do better. But yes if it LGTY feel free to merge it.

[tkf]

I guess I can be sloppy too. Probably it's safer to say "merge if LGTY" (or maybe add a label). I'll do this too.

[codecov-commenter]

⚠️ Please install the to ensure uploads and comments are reliably processed by Codecov.

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 92.85%. Comparing base (ee593e5) to head (c549745).
Report is 180 commits behind head on master.

❗ Your organization needs to install the Codecov GitHub app to enable full functionality.

Additional details and impacted files

@@           Coverage Diff           @@
##           master      #12   +/-   ##
=======================================
  Coverage   92.85%   92.85%           
=======================================
  Files           1        1           
  Lines          14       14           
=======================================
  Hits           13       13           
  Misses          1        1           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.