diff options
author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2024-01-30 00:12:10 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-01-30 00:12:10 +0000 |
commit | b0233d387cce36e7f5f9d94d86539972a5bbd2e3 (patch) | |
tree | 75aa1515923458281c2c3a623a234471fddef386 /.github/workflows/periodic-merge-6h.yml | |
parent | c2791e85dedb9672f95e34dc1ec39d77b79c86c1 (diff) | |
parent | fb15daf152589b58ba1e1194968a545faa7fbe5a (diff) |
Merge master into haskell-updates
Diffstat (limited to '.github/workflows/periodic-merge-6h.yml')
-rw-r--r-- | .github/workflows/periodic-merge-6h.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/periodic-merge-6h.yml b/.github/workflows/periodic-merge-6h.yml index f3151ead6a0f3..61a489ad71565 100644 --- a/.github/workflows/periodic-merge-6h.yml +++ b/.github/workflows/periodic-merge-6h.yml @@ -50,7 +50,7 @@ jobs: github_token: ${{ secrets.GITHUB_TOKEN }} - name: Comment on failure - uses: peter-evans/create-or-update-comment@23ff15729ef2fc348714a3bb66d2f655ca9066f2 # v3.1.0 + uses: peter-evans/create-or-update-comment@71345be0265236311c031f5c7866368bd1eff043 # v4.0.0 if: ${{ failure() }} with: issue-number: 105153 |