github/tfhe-rs
1
1
Fork 0
mirror of https://github.com/zama-ai/tfhe-rs.git synced 2026-01-08 22:28:01 -05:00
Code Issues Packages Projects Releases Wiki Activity

chore: use pull request permissions to be able to post comments

Browse Source 
- the "print URL" comment failed, while the "bench failed" comment worked
difference is the former has an issues write permissions, and the latter
a pull request write permissions
This commit is contained in:
Arthur Meyre
2025-10-20 09:34:56 +02:00
parent 205b767fc1
commit 4a89792579
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/benchmark_perf_regression.yml vendored
View File

@@ -45,8 +45,8 @@ jobs:
selected-regression-profile: ${{ steps.set_regression_details.outputs.selected-profile }}
custom-env: ${{ steps.get_custom_env.outputs.custom_env }}
permissions:
# Needed to react to benchmark command in issue comment
issues: write
# Needed to write a comment in a pull-request
pull-requests: write
steps:
- name: Checkout tfhe-rs repo
uses: actions/checkout@08c6903cd8c0fde910a37f88322edcfb5dd907a8