Skip to content

Commit 8c66006

Browse files
Pass flint_version_check=False to build backend
1 parent 7530b4c commit 8c66006

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/workflows/ci-emscripten.yml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -99,7 +99,7 @@ jobs:
9999
pkg-config --modversion mpfr
100100
pkg-config --modversion flint
101101
102-
pyodide build -Cbuild-dir=flint_wasm_build
102+
pyodide build -Cbuild-dir=flint_wasm_build -Csetup-args="-Dflint_version_check=false"
103103
104104
- name: Persist python-flint build directory to cache
105105
uses: actions/cache/save@d4323d4df104b026a6aa633fdb11d772146be0bf # v4.2.2

0 commit comments

Comments
 (0)