Skip to content

simplify music server with playsound package and support mp3 files #143

simplify music server with playsound package and support mp3 files

simplify music server with playsound package and support mp3 files #143

Workflow file for this run

name: reviewdog
on: pull_request
permissions:
pull-requests: write
contents: read
jobs:
flake8:
runs-on: ubuntu-latest
steps:
- name: Check out source repository
uses: actions/checkout@v3
- name: Set up Python environment
uses: actions/setup-python@v4
with:
python-version: "3.8"
- name: Run flake8
uses: reviewdog/action-flake8@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
reporter: "github-pr-review"
flake8_args: "--config .flake8"
fail_on_error: "true"
cpplint:
runs-on: ubuntu-latest
steps:
- name: Check out source repository
uses: actions/checkout@v3
- name: Run cpplint
uses: reviewdog/action-cpplint@master
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
reporter: "github-pr-review"
flags: "--linelength=100"
filter: "-build/c++11 \
,-runtime/references \
,-whitespace/braces \
,-whitespace/indent \
,-whitespace/parens \
,-whitespace/semicolon"