change name to proper RMI #456

Sign in to view logs

Summary
Jobs
- pkgdown
Run details
- Usage
- Workflow file

Re-run triggered September 11, 2024 10:57

cjyetman

#513

fix-name-RMI

Status Success

Total duration 2m 5s

Artifacts –

pkgdown.yaml

on: pull_request