Skip to content

Commit cd3de42

Browse files
committed
Irksome smoke tests
1 parent 382e63f commit cd3de42

File tree

1 file changed

+13
-0
lines changed

1 file changed

+13
-0
lines changed

.github/workflows/core.yml

Lines changed: 13 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -248,6 +248,19 @@ jobs:
248248
timeout-minutes: 15
249249

250250

251+
- name: Run Irksome smoke tests
252+
# Only test Irksome in real mode
253+
if: |
254+
inputs.run_tests &&
255+
(success() || steps.install.conclusion == 'success') &&
256+
matrix.arch == 'default'
257+
run: |
258+
. venv/bin/activate
259+
git clone --depth 1 https://github.com/firedrakeproject/irksome.git irksome-repo
260+
pip install --verbose ./irksome-repo
261+
python -m pytest -n 8 --verbose irksome-repo/tests
262+
timeout-minutes: 10
263+
251264
- name: Run Firedrake tests (nprocs = 1)
252265
if: inputs.run_tests && (success() || steps.install.conclusion == 'success')
253266
run: |

0 commit comments

Comments
 (0)