test: Insert decrRc after generating program #61
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 workflow uses actions that are not certified by GitHub. | |
| name: Test | |
| on: | |
| push: | |
| permissions: | |
| contents: read | |
| jobs: | |
| test: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - uses: coursier/cache-action@v6 | |
| with: | |
| packages: valgrind | |
| version: 1.0 | |
| - name: Set up JDK 11 | |
| uses: actions/setup-java@v4 | |
| with: | |
| java-version: '11' | |
| distribution: 'temurin' | |
| cache: 'sbt' | |
| - name: Install sbt | |
| run: | | |
| sudo apt-get update | |
| sudo apt-get install apt-transport-https curl gnupg -yqq | |
| echo "deb https://repo.scala-sbt.org/scalasbt/debian all main" | sudo tee /etc/apt/sources.list.d/sbt.list | |
| echo "deb https://repo.scala-sbt.org/scalasbt/debian /" | sudo tee /etc/apt/sources.list.d/sbt_old.list | |
| curl -sL "https://keyserver.ubuntu.com/pks/lookup?op=get&search=0x2EE0EA64E40A89B84B2DF73499E82A75642AC823" | sudo -H gpg --no-default-keyring --keyring gnupg-ring:/etc/apt/trusted.gpg.d/scalasbt-release.gpg --import | |
| sudo chmod 644 /etc/apt/trusted.gpg.d/scalasbt-release.gpg | |
| sudo apt-get update | |
| sudo apt-get install sbt | |
| - name: Install Valgrind | |
| run: sudo apt install valgrind | |
| - name: Run tests | |
| run: sbt test |