Searched full:inputs (Results 1 – 6 of 6) sorted by relevance
5 inputs:54 … git checkout -b ${{ github.event.inputs.version_number }} ${{ github.event.inputs.commit_id }}61 …--new-kernel-version=${{ github.event.inputs.version_number }} --new-kernel-main-br-version=${{ gi…69 ./.github/scripts/manifest_updater.py -v ${{ github.event.inputs.version_number }}77 git push -u origin ${{ github.event.inputs.version_number }}90 git push -u origin ${{ github.event.inputs.version_number }}97 …--new-kernel-version=${{ github.event.inputs.version_number }} --new-kernel-main-br-version=${{ gi…106 git push -u origin --delete ${{ github.event.inputs.version_number }}
59 working-directory: ${{ inputs.path }}
242 * XPAR_INTC_0_GPIO_1_VEC_ID - for the button inputs.280 * XPAR_INTC_0_GPIO_1_VEC_ID - for the button inputs.300 * XPAR_INTC_0_GPIO_1_VEC_ID - for the button inputs.
247 * XPAR_INTC_0_GPIO_1_VEC_ID - for the button inputs.285 * XPAR_INTC_0_GPIO_1_VEC_ID - for the button inputs.305 * XPAR_INTC_0_GPIO_1_VEC_ID - for the button inputs.
444 * division was signed and the inputs' signs differed */ in xPortPendSVHandler()
21 We thank the following people for their inputs in these changes:83 We thank the following people for their inputs in these enhancements:
