Inherit monospace font family from body
#422
This file contains hidden or 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: style | |
| on: | |
| push: | |
| paths: | |
| - '.github/workflows/style.yml' | |
| - 'custom-prompt/*' | |
| - 'diff/*' | |
| workflow_dispatch: | |
| jobs: | |
| check-diff: | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - run: pipx run ruff check | |
| working-directory: diff | |
| name: Check if Python source is formatted correctly | |
| check-custom-prompt: | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - run: ./clang-format.bash check | |
| working-directory: custom-prompt | |
| name: Check if C and C++ headers and sources are formatted correctly | |
| format-custom-prompt: | |
| if: github.ref_type != 'tag' && github.ref_name != github.event.repository.default_branch | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| token: ${{ secrets.PAT }} | |
| - run: | | |
| ./clang-format.bash | |
| git config user.name 'Github Actions' | |
| git config user.email '[email protected]' | |
| git commit -am 'Formatted' && git push || true | |
| working-directory: custom-prompt | |
| name: Format C and C++ headers and sources, commit, and push |