Update gh actions

[lorenzwalthert]

No description provided.

[codecov-commenter]

Codecov Report

Merging #810 (2dc3941) into master (9d376c4) will not change coverage.
The diff coverage is 100.00%.

❗ Current head 2dc3941 differs from pull request most recent head 78f7ef8. Consider uploading reports for the commit 78f7ef8 to get more accurate results

@@           Coverage Diff           @@
##           master     #810   +/-   ##
=======================================
  Coverage   90.46%   90.46%           
=======================================
  Files          47       47           
  Lines        2433     2433           
=======================================
  Hits         2201     2201           
  Misses        232      232           

Impacted Files	Coverage Δ
R/rules-line-breaks.R	100.00% <100.00%> (ø)

---

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 9d376c4...78f7ef8. Read the comment docs.

[github-actions]

This is how benchmark results would change (along with a 95% confience interval in relative change) if a59975a is merged into master:

• cache_applying: 0.05s -> 0.06s [-0.55%, +5.21%]
• cache_recording: 1.15s -> 1.14s [-2.35%, +1.09%]
• without_cache: 2.99s -> 3.02s [-0.6%, +2.65%]

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