@@ -124,38 +124,38 @@ jobs:
124124 retention-days : 1
125125 if : ${{ github.event_name == 'pull_request' }}
126126
127- # dangerbot:
128- # runs-on: ubuntu-latest
129- # if: github.repository == 'DefinitelyTyped/DefinitelyTyped' && github.event_name == 'pull_request'
130-
131- # needs:
132- # - test
133-
134- # steps:
135- # - uses: actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
136- # - uses: ./.github/actions/setup-for-scripts
137-
138- # - name: Get suggestions dir
139- # id: suggestions-dir
140- # run: echo "path=$(node ./scripts/get-suggestions-dir.js)" >> "$GITHUB_OUTPUT"
141-
142- # - uses: actions/download-artifact@37930b1c2abaa49bbe596cd826c3c89aef350131 # v7.0.0
143- # with:
144- # path: ${{ steps.suggestions-dir.outputs.path }}
145- # merge-multiple: true
146-
147- # - name: 'Run Danger'
148- # env:
149- # # See https://github.com/danger/danger-js/issues/1042
150- # DANGER_GITHUB_API_BASE_URL: 'https://api.github.com'
151-
152- # # Danger failing (for example through rate-limiting) shouldn't fail the build
153- # run: |
154- # # Exposing this token is safe because the user of it has no other public repositories
155- # # and has no permission to modify this repository. See #62638 for the discussion.
156- # TOKEN='ghp_i5wtj1l2AbpFv3OU96w6R'
157- # TOKEN+='On3bHOkcV2AmVY6'
158- # DANGER_GITHUB_API_TOKEN=$TOKEN pnpm danger ci || $( exit 0 )
127+ dangerbot :
128+ runs-on : ubuntu-latest
129+ if : github.repository == 'DefinitelyTyped/DefinitelyTyped' && github.event_name == 'pull_request'
130+
131+ needs :
132+ - test
133+
134+ steps :
135+ - uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
136+ - uses : ./.github/actions/setup-for-scripts
137+
138+ - name : Get suggestions dir
139+ id : suggestions-dir
140+ run : echo "path=$(node ./scripts/get-suggestions-dir.js)" >> "$GITHUB_OUTPUT"
141+
142+ - uses : actions/download-artifact@37930b1c2abaa49bbe596cd826c3c89aef350131 # v7.0.0
143+ with :
144+ path : ${{ steps.suggestions-dir.outputs.path }}
145+ merge-multiple : true
146+
147+ - name : ' Run Danger'
148+ env :
149+ # See https://github.com/danger/danger-js/issues/1042
150+ DANGER_GITHUB_API_BASE_URL : ' https://api.github.com'
151+
152+ # Danger failing (for example through rate-limiting) shouldn't fail the build
153+ run : |
154+ # Exposing this token is safe because the user of it has no other public repositories
155+ # and has no permission to modify this repository. See #62638 for the discussion.
156+ TOKEN='ghp_i5wtj1l2AbpFv3OU96w6R'
157+ TOKEN+='On3bHOkcV2AmVY6'
158+ DANGER_GITHUB_API_TOKEN=$TOKEN pnpm danger ci || $( exit 0 )
159159
160160 scripts :
161161 runs-on : ubuntu-latest
0 commit comments