mirror of
https://github.com/NixOS/nixpkgs.git
synced 2025-06-09 19:13:26 +03:00
workflows/eval: prevent tag job from failing in forks
This commit is contained in:
parent
3039dc2000
commit
dd1b14e890
1 changed files with 3 additions and 3 deletions
6
.github/workflows/eval.yml
vendored
6
.github/workflows/eval.yml
vendored
|
@ -209,7 +209,7 @@ jobs:
|
||||||
run: nix-build base/ci -A requestReviews
|
run: nix-build base/ci -A requestReviews
|
||||||
|
|
||||||
- name: Labelling pull request
|
- name: Labelling pull request
|
||||||
if: ${{ github.event_name == 'pull_request_target' }}
|
if: ${{ github.event_name == 'pull_request_target' && github.repository_owner == 'NixOS' }}
|
||||||
run: |
|
run: |
|
||||||
# Get all currently set rebuild labels
|
# Get all currently set rebuild labels
|
||||||
gh api \
|
gh api \
|
||||||
|
@ -244,7 +244,7 @@ jobs:
|
||||||
NUMBER: ${{ github.event.number }}
|
NUMBER: ${{ github.event.number }}
|
||||||
|
|
||||||
- name: Add eval summary to commit statuses
|
- name: Add eval summary to commit statuses
|
||||||
if: ${{ github.event_name == 'pull_request_target' }}
|
if: ${{ github.event_name == 'pull_request_target' && github.repository_owner == 'NixOS' }}
|
||||||
run: |
|
run: |
|
||||||
description=$(jq -r '
|
description=$(jq -r '
|
||||||
"Package: added " + (.attrdiff.added | length | tostring) +
|
"Package: added " + (.attrdiff.added | length | tostring) +
|
||||||
|
@ -264,7 +264,7 @@ jobs:
|
||||||
NUMBER: ${{ github.event.number }}
|
NUMBER: ${{ github.event.number }}
|
||||||
|
|
||||||
- name: Requesting maintainer reviews
|
- name: Requesting maintainer reviews
|
||||||
if: steps.app-token.outputs.token
|
if: ${{ steps.app-token.outputs.token && github.repository_owner == 'NixOS' }}
|
||||||
run: |
|
run: |
|
||||||
# maintainers.json contains GitHub IDs. Look up handles to request reviews from.
|
# maintainers.json contains GitHub IDs. Look up handles to request reviews from.
|
||||||
# There appears to be no API to request reviews based on GitHub IDs
|
# There appears to be no API to request reviews based on GitHub IDs
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue