Skip to content

Commit

Permalink
Merge pull request #35 from IR0NSIGHT/fix/CI_pipeline
Browse files Browse the repository at this point in the history
Fix/ci pipeline
  • Loading branch information
IR0NSIGHT authored Jan 15, 2024
2 parents 788e161 + a5bfdbc commit ff41c92
Show file tree
Hide file tree
Showing 2 changed files with 14 additions and 9 deletions.
21 changes: 13 additions & 8 deletions .github/workflows/benches.yml
Original file line number Diff line number Diff line change
Expand Up @@ -15,17 +15,22 @@ jobs:
uses: actions/setup-node@v3
with:
node-version: '18.16.1' # Choose the Node.js version you need

- name: Install latest effekt
- name: Install specific effekt
run: |
git clone [email protected]:effekt-lang/effekt.git &&
git checkout cbff76e875c7ce4aca5e52fd8ef170c1f66b97e9 &&
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
#run: |
# npm install -g https://github.com/effekt-lang/effekt/releases/latest/download/effekt.tgz &&
# npm link &&
# npm list -g
- name: Execute Benchmarks
run: |
npm link &&
npm list -g &&
fasteffekt -s
2 changes: 1 addition & 1 deletion src/effekt/benchmark/bounce.effekt
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
import src/benchmark
import src/effekt/benchmark
import mutable/array
import src/effekt/cliRunner

Expand Down

0 comments on commit ff41c92

Please sign in to comment.