fix bounce import #48
Workflow file for this run
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 cbff76e875c7ce4aca5e52fd8ef170c1f66b97e9 | |
- 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 |