feat: json version of acset to latex #37
Workflow file for this run
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
| --- | |
| # This action makes PRs require conventional commits in both | |
| # the pull request title, and commit message. | |
| # | |
| # See: https://github.com/conventional-changelog/commitlint/tree/master/%40commitlint/config-conventional | |
| name: Lint PR Commit Messages | |
| # yamllint disable-line rule:truthy | |
| on: | |
| pull_request: | |
| types: ['opened', 'edited', 'reopened', 'synchronize'] | |
| jobs: | |
| commitlint: | |
| runs-on: ubuntu-22.04 | |
| steps: | |
| - uses: actions/checkout@v3 | |
| # Uncomment this if you want to validate all commits in this PR not just the PR comment | |
| # with: | |
| # fetch-depth: 0 | |
| - name: Use Node.js 18.8.0 | |
| uses: actions/setup-node@v3 | |
| with: | |
| node-version: 18.8.0 | |
| - name: Install CommitLint Dependency | |
| run: yarn add @commitlint/config-conventional | |
| # Uncomment this if you want to validate all commits in this PR not just the PR comment | |
| # - uses: wagoid/commitlint-github-action@v5 | |
| - name: Lint the PR message | |
| uses: JulienKode/pull-request-name-linter-action@8c05fb989d9f156ce61e33754f9802c9d3cffa58 | |
| with: | |
| configuration-path: ./.commitlintrc.yaml |