Skip to content

Merge pull request #21 from RubD/dev #7

Merge pull request #21 from RubD/dev

Merge pull request #21 from RubD/dev #7

Triggered via push September 17, 2023 00:03
Status Success
Total duration 7m 11s
Artifacts

lintr.yml

on: push
Run lintr scanning
7m 1s
Run lintr scanning
Fit to window
Zoom out
Zoom in