Skip to content

Update CI to use workflows from r-lib/actions#19

Merged
dgerlanc merged 1 commit intomainfrom
dgerlanc/update-ci
Apr 9, 2023
Merged

Update CI to use workflows from r-lib/actions#19
dgerlanc merged 1 commit intomainfrom
dgerlanc/update-ci

Commits

Commits on Apr 9, 2023