Josh Soref dab9794e28 infra/workflow: Declare limited permissions for regression ... Note that this workflow currently imagines writing a comment. It does not actually try to do so, and thus there is no need to ask for permission to use `pull-requests: write`. If at some point, someone decides to fix that feature, they will need to add that permission. OTOH, using a GitHub Step Summary instead does not require any permissions.		2024-09-30 12:45:55 +09:00
..
workflows	infra/workflow: Declare limited permissions for regression	2024-09-30 12:45:55 +09:00
FUNDING.yml	infra: added open_collective fund account	2024-04-06 12:08:21 +09:00