Don't re-run clippy CI checks when PRs are edited
Editing the PR doesn't change source code contents,
so it's best to remove `edited` from the trigger types.
name: Clippy Checks
on:
pull_request:
- types: [edited, synchronize, opened, reopened]
+ types: [synchronize, opened, reopened]
jobs:
run-clippy:
runs-on: ubuntu-latest
