Skip to content

TO-DROP: debug missing PR info #13

TO-DROP: debug missing PR info

TO-DROP: debug missing PR info #13

Workflow file for this run

name: Test
on:
push:
jobs:
test:
runs-on: ubuntu-latest
steps:
- name: Obtain config
run: |
set -x
CONFIG="$(curl -L https://github.com/cygwingitgadget/gitgitgadget-workflows/raw/config/gitgitgadget-config.json)" &&
printf 'CONFIG<<EOF\n%s\nEOF\n' "$CONFIG" >>$GITHUB_ENV
cat $GITHUB_ENV
- uses: actions/checkout@v5
- uses: actions/create-github-app-token@v1
id: pr-repo-token
with:
app-id: ${{ secrets.GITGITGADGET_GITHUB_APP_ID }}
private-key: ${{ secrets.GITGITGADGET_GITHUB_APP_PRIVATE_KEY }}
owner: ${{ fromJSON(env.CONFIG).repo.owner }}
repositories: ${{ fromJSON(env.CONFIG).repo.name }}
- uses: ./check-run
with:
config: ${{ env.CONFIG }}
pr-repo-token: ${{ steps.pr-repo-token.outputs.token }}
pr-url: https://github.com/cygwingitgadget/cygwin/pull/1
name: check-run-test
title: Check Run Test
summary: A summary
- name: Run something that succeeds
run: set -x && sleep 20 && exit 0
- uses: ./check-run
with:
config: ${{ env.CONFIG }}
pr-repo-token: ${{ steps.pr-repo-token.outputs.token }}
text: And here is some text