@@ -527,7 +527,7 @@ jobs:
527
527
- " boost, optimize, warning"
528
528
- " openmp, python, gsl, ltdl, boost, optimize, warning"
529
529
- " mpi, python, gsl, ltdl, boost, optimize, warning"
530
- - " openmp, mpi, python, gsl, ltdl, boost, hdf5, sionlib, libneurosim, optimize, warning, music, detailed-timers, mpi-sync-timer"
530
+ - " openmp, mpi, python, gsl, ltdl, boost, hdf5, sionlib, libneurosim, optimize, warning, music, detailed-timers, threaded-timers, mpi-sync-timer"
531
531
532
532
steps :
533
533
- name : Harden Runner
@@ -679,6 +679,7 @@ jobs:
679
679
-Dwith-sionlib=${{ contains(matrix.use, 'sionlib') && '$HOME/.cache/sionlib.install' || 'OFF' }} \
680
680
-Dwith-libneurosim=${{ contains(matrix.use, 'libneurosim') && '$HOME/.cache/libneurosim.install' || 'OFF' }} \
681
681
-Dwith-music=${{ contains(matrix.use, 'music') && '$HOME/.cache/music.install' || 'OFF' }} \
682
+ -Dwith-threaded-timers=${{ contains(matrix.use, 'threaded-timers') && 'ON' || 'OFF' }} \
682
683
-Dwith-detailed-timers=${{ contains(matrix.use, 'detailed-timers') && 'ON' || 'OFF' }} \
683
684
-Dwith-mpi-sync-timer=${{ contains(matrix.use, 'mpi-sync-timer') && 'ON' || 'OFF' }} \
684
685
..
0 commit comments