Changes Github action `hdf5 dev CI` to `PR hdf5 dev CI`#1666

Merged

lrknox merged 1 commit intoHDFGroup:developfrom derobins:rename_github_action

Apr 20, 2022

+1-1

Commits on Apr 20, 2022

Changes Github action hdf5 dev CI to PR hdf5 dev CI
derobins
committed