Skip to content

Merge pull request #1144 from r-lib/fix-pre-commit #185

Merge pull request #1144 from r-lib/fix-pre-commit

Merge pull request #1144 from r-lib/fix-pre-commit #185

Triggered via push August 21, 2023 18:42
Status Success
Total duration 2m 2s
Artifacts
check-all-examples
1m 55s
check-all-examples
Fit to window
Zoom out
Zoom in