Browse Source

Update duplicate CI step name (#8975)

pull/8977/head
Xinzhao Xu 4 months ago
committed by GitHub
parent
commit
34478499d8
No known key found for this signature in database GPG Key ID: B5690EEEBB952194
  1. 2
      .github/workflows/main.yml

2
.github/workflows/main.yml

@ -467,7 +467,7 @@ jobs:
- run: git diff --exit-code
# Re-vendor the C API and make sure it's up-to-date.
- name: Re-vendor WIT
- name: Re-vendor C API
run: ./ci/vendor-c-api-headers.sh
- run: git diff --exit-code

Loading…
Cancel
Save