Skip to content

[DICT] Add Python support for dict initialisation #2966

[DICT] Add Python support for dict initialisation

[DICT] Add Python support for dict initialisation #2966

Workflow file for this run

name: Bot comment handler
on:
issue_comment:
types: [ created ]
jobs:
Bot:
if: ${{ startsWith( github.event.comment.body, '/bot ' ) }}
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
with:
fetch-depth: 0
- uses: ./.github/actions/add_remote
with:
pr_id: ${{ github.event.issue.number }}
- name: Set up Python 3.9
uses: actions/setup-python@v5
with:
python-version: 3.9
- name: Install python dependencies
run: |
python -m pip install requests
- name: "Generate token"
id: token
uses: ./.github/actions/generate_bot_token
with:
bot_pem: "${{ secrets.BOT_PEM }}"
- id: run_bot
run: |
python ci_tools/bot_comment_react.py
env:
GH_TOKEN: ${{ github.token }}