diff --git a/.github/workflows/slash_clippy.yml b/.github/workflows/slash_clippy.yml index e81d5a30..ce16ed3e 100644 --- a/.github/workflows/slash_clippy.yml +++ b/.github/workflows/slash_clippy.yml @@ -3,18 +3,25 @@ name: SlashClippy on: issue_comment: types: [created] - permissions: contents: write issues: write - pull-requests: read + pull-requests: write jobs: dispatch: if: ${{ github.event.issue.pull_request && startsWith(github.event.comment.body, '/clippy') }} runs-on: ubuntu-latest + + # job-specific permissions - required for reactions + permissions: + contents: write + issues: write + pull-requests: write + steps: - - uses: peter-evans/slash-command-dispatch@v4 + - name: Dispatch Clippy Command + uses: peter-evans/slash-command-dispatch@v4 with: token: ${{ secrets.GITHUB_TOKEN }} reaction-token: ${{ secrets.GITHUB_TOKEN }} @@ -22,3 +29,5 @@ jobs: dispatch-type: repository issue-type: pull-request repository: ${{ github.repository }} + # Conditionally enable reactions only if the PR is not from a fork to avoid run failures + reactions: ${{ github.event.issue.pull_request.head.repo.full_name == github.repository && 'eyes' || '' }} diff --git a/README.md b/README.md index b7c3b96b..98bcf412 100644 --- a/README.md +++ b/README.md @@ -7,6 +7,8 @@ Welcome to Aria. Aria is a modern, dynamic scripting language. It is meant to be a "sweet spot" language, easy to pick-up and with a good balance between ease of use, safety, and flexibility. Aria's design choices help you build great programs quickly. +boom bang pop + Aria has modern, safer error handling: Aria replaces unreliable `None` pointer checks with a modern, multi-tiered approach to error handling. By emphasizing algebraic data types (e.g. `Maybe`), Aria makes errors explicit, safer, and easier to manage, with fewer runtime surprises. `null`, the [billion dollar mistake](https://softwareengineering.stackexchange.com/questions/413149/if-null-is-a-billion-dollar-mistake-what-is-the-solution-to-represent-a-non-ini) just does not exist in Aria, making code safer, easier to maintain and error handling more robust.