... in withr::local_options() was introduced only in v.2.3.0

[lorenzwalthert]

Addresses warning about unused argument in #1050.

[codecov-commenter]

Codecov Report

Merging #1051 (0083e3d) into main (4c1cb51) will not change coverage.
The diff coverage is n/a.

@@           Coverage Diff           @@
##             main    #1051   +/-   ##
=======================================
  Coverage   91.06%   91.06%           
=======================================
  Files          46       46           
  Lines        2687     2687           
=======================================
  Hits         2447     2447           
  Misses        240      240           

Help us with your feedback. Take ten seconds to tell us how you rate us. Have a feature suggestion? Share it here.

[github-actions]

This is how benchmark results would change (along with a 95% confidence interval in relative change) if 8f6d78f is merged into main:

•   :rocket:cache_applying: 36.6ms -> 35.1ms [-7.11%, -1.18%]
•   :ballot_box_with_check:cache_recording: 1.17s -> 1.18s [-0.68%, +1.3%]
•   :ballot_box_with_check:without_cache: 2.97s -> 2.96s [-1.16%, +0.33%]

Further explanation regarding interpretation and methodology can be found in the documentation.