Skip to content

Commit

Permalink
Add debug_codegen flag into github CI tests
Browse files Browse the repository at this point in the history
  • Loading branch information
tmcgilchrist committed Nov 29, 2024
1 parent 285db26 commit d234440
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/build.yml
Original file line number Diff line number Diff line change
@@ -59,7 +59,7 @@ jobs:
'${{ github.event.repository.full_name }}'
- name: Configure tree
run: |
MAKE_ARG=-j CONFIG_ARG='--enable-flambda --enable-cmm-invariants --enable-dependency-generation --enable-native-toplevel' OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh configure
MAKE_ARG=-j CONFIG_ARG='--enable-flambda --enable-cmm-invariants --enable-debug-codegen --enable-dependency-generation --enable-native-toplevel' OCAMLRUNPARAM=b,v=0 bash -xe tools/ci/actions/runner.sh configure
- name: Build
run: |
MAKE_ARG=-j bash -xe tools/ci/actions/runner.sh build

0 comments on commit d234440

Please sign in to comment.