add link to CI badge on README #20
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: Run tests | |
| on: | |
| - push | |
| - pull_request | |
| jobs: | |
| run-tests: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| with: | |
| submodules: true | |
| - name: setup ripgrep and gcc | |
| run: | | |
| sudo apt-get update | |
| sudo apt install build-essential | |
| sudo apt install ripgrep | |
| - name: run tests | |
| run: | | |
| make run_test |