@@ -44,24 +44,25 @@ jobs:
44
44
})
45
45
console.log('PR Head sha: ' + pr.data.head.sha)
46
46
core.setOutput('sha', pr.data.head.sha)
47
- # - name: Report tests check
48
- # if: ${{ github.event.inputs.used-branch && steps.tests-step.outcome }}
49
- # uses: actions/github-script@v3
50
- # with:
51
- # github-token: ${{ secrets.GITHUB_TOKEN }}
52
- # script: |
53
- # github.checks.create({
54
- # name: 'run tests',
55
- # head_sha: '${{ github.event.issue.pull_request.head.sha }}',
56
- # status: 'completed',
57
- # conclusion: '${{ steps.tests-step.outcome }}',
58
- # output: {
59
- # title: 'Run tests',
60
- # summary: 'Results: ${{ steps.tests-step.outcome }}'
61
- # },
62
- # owner: context.repo.owner,
63
- # repo: context.repo.repo
64
- # })
47
+ #
48
+ - name : Report tests check
49
+ if : ${{ steps.tests-step.outcome }}
50
+ uses : actions/github-script@v3
51
+ with :
52
+ github-token : ${{ secrets.GITHUB_TOKEN }}
53
+ script : |
54
+ github.checks.create({
55
+ name: 'run tests',
56
+ head_sha: '${{ github.event.issue.pull_request.head.sha }}',
57
+ status: 'completed',
58
+ conclusion: '${{ steps.tests-step.outcome }}',
59
+ output: {
60
+ title: 'Run tests',
61
+ summary: 'Results: ${{ steps.tests-step.outcome }}'
62
+ },
63
+ owner: context.repo.owner,
64
+ repo: context.repo.repo
65
+ })
65
66
66
67
mypy_nightly :
67
68
runs-on : ubuntu-latest
0 commit comments