Workaround mdformat HTML removal by moving them at the end of last fo… #3924
This file contains 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: | |
| # XXX Concurrency detection sucks and jobs gets killed randonmly. | |
| # concurrency: | |
| # # Group workflow jobs so new commits cancels in-progress execution triggered by previous commits. | |
| # # Source: https://mail.python.org/archives/list/[email protected]/thread/PCBCQMJF64JGRBOX7E2EE4YLKHT4DI55/ | |
| # group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.sha }} | |
| # cancel-in-progress: true | |
| jobs: | |
| lint: | |
| uses: kdeldycke/workflows/.github/workflows/[email protected] |