Merge a787e9ded4 into sapling-pr-archive-poteto

This commit is contained in:
lauren
2025-03-21 15:59:05 -04:00
committed by GitHub
3 changed files with 3 additions and 3 deletions
@@ -1,7 +1,7 @@
name: (Compiler) Discord Notify
on:
pull_request_target:
pull_request:
types: [opened, ready_for_review]
paths:
- compiler/**
+1 -1
View File
@@ -1,7 +1,7 @@
name: (Runtime) Discord Notify
on:
pull_request_target:
pull_request:
types: [opened, ready_for_review]
paths-ignore:
- compiler/**
@@ -1,7 +1,7 @@
name: (Shared) Label Core Team PRs
on:
pull_request_target:
pull_request:
permissions: {}