Skip to content

Commit

Permalink
chore: Fix how to send comments to github
Browse files Browse the repository at this point in the history
Added necessary permissions to the GitHub Actions workflow to allow
writing comments on issues and pull requests. This enables automated
feedback and notifications, improving workflow efficiency and
communication.
  • Loading branch information
derrix060 committed Oct 15, 2024
1 parent 6937def commit a1be2eb
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions .github/workflows/find-smallest-rust.yml
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,11 @@ on:
- starknet/compiler/rust/*
workflow_dispatch:


permissions:
issues: write # Required for sending comments
pull-requests: write # Required for sending comments

concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
cancel-in-progress: true
Expand Down

0 comments on commit a1be2eb

Please sign in to comment.