Skip to content

change name to proper RMI #500

change name to proper RMI

change name to proper RMI #500

Triggered via pull request September 9, 2024 13:30
Status Success
Total duration 1m 52s
Artifacts

pkgdown.yaml

on: pull_request
Fit to window
Zoom out
Zoom in