Merge pull request #2 from WiiLink24/feat/remove-justfile-and-docs #14
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: "Check and lint all the project" | |
| # If a new commit is pushed just ignore the current one in the process queue and skip to the newest one | |
| concurrency: | |
| group: ${{ github.workflow }} | |
| cancel-in-progress: true | |
| on: | |
| workflow_dispatch: | |
| push: | |
| branches: | |
| - main | |
| jobs: | |
| check: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: ./.github/actions/setup-nix | |
| with: | |
| github_access_token: "${{ secrets.GITHUB_TOKEN }}" | |
| - run: ./run setup | |
| - run: ./run check |