Merge pull request #1693 from oasisprotocol/create-pull-request/patch

Update dumped validators
oasisprotocol · Feb 8, 2024 · 5b42c2c · 5b42c2c
2 parents 8916cce + ddd6eac
commit 5b42c2c
Show file tree

Hide file tree

Showing 3 changed files with 3,161 additions and 2,887 deletions.
diff --git a/.changelog/1693.internal.md b/.changelog/1693.internal.md
@@ -0,0 +1 @@
+Update dumped validators
diff --git a/.github/workflows/dump-validators.yml b/.github/workflows/dump-validators.yml
@@ -17,6 +17,7 @@ jobs:
     steps:
       - uses: actions/checkout@v4
       - run: bash ./.github/dump_validators.sh
+      - run: echo "Update dumped validators" > ".changelog/${{ github.event.pull_request.number }}.internal.md"
       - name: Create Pull Request with updated dumped validators
         # https://github.com/peter-evans/create-pull-request
         uses: peter-evans/create-pull-request@v5