Skip to content

Commit

Permalink
Run meet test
Browse files Browse the repository at this point in the history
  • Loading branch information
chambart authored and Gbury committed Jul 8, 2021
1 parent 0db8834 commit 17df150
Showing 1 changed file with 4 additions and 0 deletions.
4 changes: 4 additions & 0 deletions .github/workflows/dune.yml
Original file line number Diff line number Diff line change
Expand Up @@ -130,6 +130,10 @@ jobs:
- name: Build the flambda compiler (stage 1)
working-directory: test
run: dune build --profile release --display quiet @world
# Run meet test, it only works after dune build @world
- name: run flambda internal tests
working-directory: test
run: dune exec middle_end/flambda/tests/meet_test.exe
# Output full dune log in case of build failure
- name: Dump dune log if build failed
working-directory: test
Expand Down

0 comments on commit 17df150

Please sign in to comment.