Home
last modified time | relevance | path

Searched full:pull_request (Results 1 – 2 of 2) sorted by relevance

/FreeRTOS-Plus-TCP-v4.0.0/.github/workflows/
Duncrustify.yml10 if: ${{ github.event.issue.pull_request && github.event.comment.body == '/bot run uncrustify' }}
25 echo ${{ github.event.issue.pull_request.url }}
29 …cation/vnd.github.sailor-v-preview+json" --url ${{ github.event.issue.pull_request.url }} | jq '.h…
33 …cation/vnd.github.sailor-v-preview+json" --url ${{ github.event.issue.pull_request.url }} | jq '.h…
Dci.yml6 pull_request: