diff --git a/.github/workflows/enzyme-ci.yml b/.github/workflows/enzyme-ci.yml index a08267fcdb725..fa44fb0eacbf0 100644 --- a/.github/workflows/enzyme-ci.yml +++ b/.github/workflows/enzyme-ci.yml @@ -62,4 +62,5 @@ jobs: - name: test Enzyme/rustbook working-directory: rustbook run: | - cargo +enzyme test --workspace + cargo +enzyme test + ENZYME_LOOSE_TYPES=1 cargo +enzyme test -p samples-loose-types