Issue #12120: rename update-sources.sh

checkstyle · Aug 28, 2022 · d3d8a71 · d3d8a71
1 parent e5e92c4
commit d3d8a71
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/update_sources.yml b/.github/workflows/update_sources.yml
@@ -23,7 +23,7 @@ jobs:
           sudo apt-get install xmlstarlet
       - name: Run Shell Script
         run: |
-          ./.ci/update-sources.sh ${{ github.event.inputs.version }}
+          ./.ci/update-releasenotesxml.sh ${{ github.event.inputs.version }}
       - name: Commit and Push
         run: |
             git config --global user.name 'github-actions[bot]'