Skip to content

Commit

Permalink
Update comment_commands.yml
Browse files Browse the repository at this point in the history
  • Loading branch information
loicdiridollou committed Aug 9, 2024
1 parent 4629304 commit 99bade6
Showing 1 changed file with 32 additions and 18 deletions.
50 changes: 32 additions & 18 deletions .github/workflows/comment_commands.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,19 @@ on:

permissions:
contents: read
actions: write
checks: write
contents: write
deployments: write
id-token: write
issues: write
discussions: write
packages: write
pages: write
pull-requests: write
repository-projects: write
security-events: write
statuses: write

jobs:
nightly:
Expand Down Expand Up @@ -44,24 +57,25 @@ jobs:
})
console.log('PR Head sha: ' + pr.data.head.sha)
core.setOutput('sha', pr.data.head.sha)
# - name: Report tests check
# if: ${{ github.event.inputs.used-branch && steps.tests-step.outcome }}
# uses: actions/github-script@v3
# with:
# github-token: ${{ secrets.GITHUB_TOKEN }}
# script: |
# github.checks.create({
# name: 'run tests',
# head_sha: '${{ github.event.issue.pull_request.head.sha }}',
# status: 'completed',
# conclusion: '${{ steps.tests-step.outcome }}',
# output: {
# title: 'Run tests',
# summary: 'Results: ${{ steps.tests-step.outcome }}'
# },
# owner: context.repo.owner,
# repo: context.repo.repo
# })
#
- name: Report tests check
if: ${{ steps.tests-step.outcome }}
uses: actions/github-script@v3
with:
github-token: ${{ secrets.GITHUB_TOKEN }}
script: |
github.checks.create({
name: 'run tests',
head_sha: '${{ github.event.issue.pull_request.head.sha }}',
status: 'completed',
conclusion: '${{ steps.tests-step.outcome }}',
output: {
title: 'Run tests',
summary: 'Results: ${{ steps.tests-step.outcome }}'
},
owner: context.repo.owner,
repo: context.repo.repo
})
mypy_nightly:
runs-on: ubuntu-latest
Expand Down

0 comments on commit 99bade6

Please sign in to comment.