update readme #118
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: C | |
on: | |
push: | |
branches: [ master ] | |
pull_request: | |
branches: [ master ] | |
jobs: | |
build: | |
runs-on: ubuntu-latest | |
steps: | |
- uses: actions/checkout@v2 | |
- name: Install dependencies | |
run: sudo apt-get install -y valgrind time | |
- name: Build | |
run: make | |
- name: Run tests | |
run: make check | |
- name: Run Valgrind (on tests) | |
run: make memcheck | |
- name: Run examples | |
run: ./tests/run_examples.sh | |
- name: Run fib35 benchmark | |
run: | | |
echo "Time: " | |
/usr/bin/time bin/pepper examples/fib35-recursive.pr | tail -n1 |