type annotation for Index/MultiIndex.names is incorrect #89
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: Comment Commands to Trigger CI | |
| on: | |
| issue_comment: | |
| types: created | |
| permissions: | |
| checks: write | |
| env: | |
| # store mapping of commands to use with poetry | |
| RUN_COMMAND: '{"/pandas_nightly": "pytest --nightly", "/pyright_strict": "pyright_strict", "/mypy_nightly": "mypy --mypy_nightly"}' | |
| # store mapping of labels to display in the check runs | |
| DISPLAY_COMMAND: '{"/pandas_nightly": "Pandas nightly tests", "/pyright_strict": "Pyright strict tests", "/mypy_nightly": "Mypy nightly tests"}' | |
| jobs: | |
| optional_tests: | |
| name: "Optional tests run" | |
| runs-on: ubuntu-latest | |
| timeout-minutes: 10 | |
| # if more commands are added, they will need to be added here too as we don't have access to env at this stage | |
| if: (github.event.issue.pull_request) && contains(fromJSON('["/pandas_nightly", "/pyright_strict", "/mypy_nightly"]'), github.event.comment.body) | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Install project dependencies | |
| uses: ./.github/setup | |
| with: | |
| os: ubuntu-latest | |
| python-version: "3.11" | |
| - name: Run ${{ fromJSON(env.DISPLAY_COMMAND)[github.event.comment.body] }} | |
| # run the tests based on the value of the comment | |
| id: tests-step | |
| run: poetry run poe ${{ fromJSON(env.RUN_COMMAND)[github.event.comment.body] }} | |
| - name: Get head sha and store value | |
| # get the sha of the last commit to attach the results of the tests | |
| if: always() | |
| id: get-sha | |
| uses: actions/github-script@v7 | |
| with: | |
| github-token: ${{ secrets.GITHUB_TOKEN }} | |
| script: | | |
| const pr = await github.rest.pulls.get({ | |
| owner: context.repo.owner, | |
| repo: context.repo.repo, | |
| pull_number: ${{ github.event.issue.number }} | |
| }) | |
| core.setOutput('sha', pr.data.head.sha) | |
| - name: Report results of the tests and publish | |
| # publish the results to a check run no matter the pass or fail | |
| if: always() | |
| uses: actions/github-script@v7 | |
| with: | |
| github-token: ${{ secrets.GITHUB_TOKEN }} | |
| script: | | |
| github.rest.checks.create({ | |
| name: '${{ fromJSON(env.DISPLAY_COMMAND)[github.event.comment.body] }}', | |
| head_sha: '${{ steps.get-sha.outputs.sha }}', | |
| status: 'completed', | |
| conclusion: '${{ steps.tests-step.outcome }}', | |
| output: { | |
| title: 'Run ${{ fromJSON(env.DISPLAY_COMMAND)[github.event.comment.body] }}', | |
| summary: 'Results: ${{ steps.tests-step.outcome }}', | |
| text: 'See the actions run at ${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }}', | |
| }, | |
| owner: context.repo.owner, | |
| repo: context.repo.repo | |
| }) |