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

chore(ci): log action to perform on approval for external pr

Browse Source 
External contributor don't have access to secrets so this workflow would fail when attempting to add/remove 'approved' label on pull-request from forks.
This simple log message is here to remind maintainers to handle 'approved' label manually to trigger the second CI pipeline.
This commit is contained in:
David Testé
2025-04-28 11:52:30 +02:00
committed by David Testé
parent 2cd16ac70a
commit f5a52128e2
1 changed files with 7 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
.github/workflows/approve_label.yml vendored
View File

@@ -34,3 +34,10 @@ jobs:
# We need to use a PAT to be able to trigger `labeled` event for the other workflow. # We need to use a PAT to be able to trigger `labeled` event for the other workflow.
github_token: ${{ secrets.FHE_ACTIONS_TOKEN }} github_token: ${{ secrets.FHE_ACTIONS_TOKEN }}
labels: approved labels: approved
- name: Check if maintainer needs to handle label manually
if: ${{ failure() }}
run: |
echo "Pull-request from an external contributor."
echo "A maintainer need to manually add/remove the 'approved' label."
exit 1