diff options
| author | Dana Robinson <43805+derobins@users.noreply.github.com> | 2022-04-20 23:43:07 (GMT) |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-20 23:43:07 (GMT) |
| commit | ac9c21dd6fcccfd281c04ee14caf2e5c871191d7 (patch) | |
| tree | e1a14a5f19c530bd982f25a50e5f3ed23e093941 /.github | |
| parent | 2fcfc42d67fab1733f80b61b735f46da083f36a6 (diff) | |
| download | hdf5-ac9c21dd6fcccfd281c04ee14caf2e5c871191d7.zip hdf5-ac9c21dd6fcccfd281c04ee14caf2e5c871191d7.tar.gz hdf5-ac9c21dd6fcccfd281c04ee14caf2e5c871191d7.tar.bz2 | |
Changes Github action `hdf5 dev CI` to `PR hdf5 dev CI` (#1666)
So the PR action name is not the same as the one in main.yml
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/pr-check.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/pr-check.yml b/.github/workflows/pr-check.yml index 93bb074..5dd923f 100644 --- a/.github/workflows/pr-check.yml +++ b/.github/workflows/pr-check.yml @@ -1,4 +1,4 @@ -name: hdf5 dev CI +name: PR hdf5 dev CI # Controls when the action will run. Triggers the workflow on push or pull request on: |