This repository was archived by the owner on Aug 15, 2025. It is now read-only.
Delete aarch64_linux folder #1322
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: Lint | |
| on: | |
| push: | |
| branches: | |
| - main | |
| pull_request: | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }}-${{ github.event_name == 'workflow_dispatch' }} | |
| cancel-in-progress: true | |
| jobs: | |
| lintrunner: | |
| name: lintrunner | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - uses: actions/checkout@v3 | |
| - name: Setup Python | |
| uses: actions/setup-python@v4 | |
| with: | |
| python-version: "3.11" | |
| - name: Install Lintrunner | |
| run: | | |
| pip install lintrunner | |
| lintrunner init | |
| - name: Run lintrunner on all files - Linux | |
| run: | | |
| set +e | |
| if ! lintrunner -v --force-color --all-files --tee-json=lint.json; then | |
| echo "" | |
| echo -e "\e[1m\e[36mYou can reproduce these results locally by using \`lintrunner -m main\`.\e[0m" | |
| exit 1 | |
| fi |