Merge pull request #44 from IR0NSIGHT/fix/verify-no-generics #97
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 benchmarks | |
on: | |
push: | |
jobs: | |
execute_bash_script: | |
runs-on: ubuntu-latest | |
steps: | |
- name: Checkout code | |
uses: actions/checkout@v2 | |
- name: Setup Node.js | |
uses: actions/setup-node@v3 | |
with: | |
node-version: '18.16.1' # Choose the Node.js version you need | |
- name: Install specific effekt | |
run: | | |
git clone https://github.com/effekt-lang/effekt.git && | |
cd effekt && | |
git checkout $(cat latest_supported_effekt) | |
- name: Set up submodule | |
run: | | |
cd effekt | |
git config submodule.kiama.url https://github.com/effekt-lang/kiama.git && | |
git submodule update --init --recursive && | |
sbt install | |
- name: Execute Benchmarks | |
run: | | |
npm link && | |
npm list -g && | |
fasteffekt -s |