Add manual dispatching for checksum
This commit is contained in:
parent
b9c84675c4
commit
4753e594a6
1 changed files with 10 additions and 1 deletions
11
.github/workflows/checksum.yaml
vendored
11
.github/workflows/checksum.yaml
vendored
|
|
@ -9,6 +9,14 @@ on:
|
||||||
- synchronize
|
- synchronize
|
||||||
branches:
|
branches:
|
||||||
- main
|
- main
|
||||||
|
workflow_dispatch:
|
||||||
|
inputs:
|
||||||
|
changed-pkg:
|
||||||
|
description: "Package to checksum"
|
||||||
|
default: ""
|
||||||
|
|
||||||
|
env:
|
||||||
|
CHANGED_PKG: ${{ github.event.inputs.changed-pkg }}
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
checksum:
|
checksum:
|
||||||
|
|
@ -41,6 +49,7 @@ jobs:
|
||||||
ref: ${{ github.ref }}
|
ref: ${{ github.ref }}
|
||||||
|
|
||||||
- name: remember changed package
|
- name: remember changed package
|
||||||
|
if: ${{ env.CHANGED_PKG == '' }}
|
||||||
run: |
|
run: |
|
||||||
git config --global --add safe.directory $PWD
|
git config --global --add safe.directory $PWD
|
||||||
echo "CHANGED_PKG=$(git diff --name-only origin/main origin/${GITHUB_HEAD_REF} "srcpkgs/*/template" | head -1 | cut -d/ -f2)" >> $GITHUB_ENV
|
echo "CHANGED_PKG=$(git diff --name-only origin/main origin/${GITHUB_HEAD_REF} "srcpkgs/*/template" | head -1 | cut -d/ -f2)" >> $GITHUB_ENV
|
||||||
|
|
@ -74,7 +83,7 @@ jobs:
|
||||||
|
|
||||||
- name: generate checksum
|
- name: generate checksum
|
||||||
working-directory: upstream
|
working-directory: upstream
|
||||||
run: "sudo -Eu builder xgensum -f -i ${{ env.CHANGED_PKG }}"
|
run: sudo -Eu builder xgensum -f -i ${{ env.CHANGED_PKG }}
|
||||||
|
|
||||||
- name: receive relevant copy from upstream
|
- name: receive relevant copy from upstream
|
||||||
run: |
|
run: |
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue