Skip to content

Edit messages instead of deleting and recreating #8

Edit messages instead of deleting and recreating

Edit messages instead of deleting and recreating #8

Workflow file for this run

name: MyPy Check
on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]
jobs:
mypy:
runs-on: ubuntu-latest
steps:
- name: Checkout code
uses: actions/checkout@v2
- name: Set up Python
uses: actions/setup-python@v2
with:
python-version: '3.x'
- name: Install dependencies
run: pip install discord.py mypy
- name: Run MyPy
run: mypy discord_bot.py