Skip to content

Commit bfd7e9c

Browse files
Cache python-flint builds
1 parent 3beafcf commit bfd7e9c

File tree

1 file changed

+13
-1
lines changed

1 file changed

+13
-1
lines changed

.github/workflows/ci-emscripten.yml

Lines changed: 13 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -119,6 +119,12 @@ jobs:
119119
path: ${{ github.workspace }}/wasm-library-dir
120120
key: wasm-library-dir-${{ hashFiles('.github/workflows/ci-emscripten.yml') }}
121121

122+
- name: Restore python-flint build directory from cache
123+
uses: actions/cache/restore@d4323d4df104b026a6aa633fdb11d772146be0bf # v4.2.2
124+
with:
125+
path: ${{ github.workspace }}/flint_wasm_build
126+
key: flint-wasm-build-${{ hashFiles('**/meson.build', '**/pyproject.toml', '**/setup.py') }}
127+
122128
- name: Build python-flint
123129
env:
124130
WASM_LIBRARY_DIR: ${{ github.workspace }}/wasm-library-dir
@@ -135,7 +141,13 @@ jobs:
135141
pkg-config --modversion mpfr
136142
pkg-config --modversion flint
137143
138-
pyodide build
144+
pyodide build -Cbuild-dir=flint_wasm_build
145+
146+
- name: Persist python-flint build directory to cache
147+
uses: actions/cache/save@d4323d4df104b026a6aa633fdb11d772146be0bf # v4.2.2
148+
with:
149+
path: ${{ github.workspace }}/flint_wasm_build
150+
key: flint-wasm-build-${{ hashFiles('**/meson.build', '**/pyproject.toml', '**/setup.py') }}
139151

140152
- name: Set up Pyodide virtual environment and test python-flint
141153
run: |

0 commit comments

Comments
 (0)