Fix for issue 3442

[JanVogelsang]

This PR fixes issue #3442.

[heplesser]

Looks good already. I have a few suggestions for further improvement. I also wonder if we should go "all in" in the CI and in our "everything" test also activate detailed and mpi-sync timer. That will slow the testsuite a little, but at least we test all. That would require adding something like "detailed_timers" and "mpi_sync_timer" to

nest-simulator/.github/workflows/nestbuildmatrix.yml

Line 530 in 09b349c

- "openmp, mpi, python, gsl, ltdl, boost, hdf5, sionlib, libneurosim, optimize, warning, music"

and append the corresponding switches here:

nest-simulator/.github/workflows/nestbuildmatrix.yml

Line 681 in 09b349c

-Dwith-music=${{ contains(matrix.use, 'music') && '$HOME/.cache/music.install' || 'OFF' }} \

[heplesser]

I downgraded severity to "high" because it is a bug that only occurs under specific circumstances.

[JanVogelsang]

I agree, adding detailed timers and the mpi-sync-timer to the "full" CI testcase makes sense. It shouldn't slow it down too much, so we should be fine.

[heplesser]

@terhorstd Could you take a look at this one especially with a view to the changes in the build matrix?

[heplesser]

@terhorstd Ping!

[JanVogelsang]

@terhorstd You only need to review the changes in .github/workflows/nestbuildmatrix.yml, which should roughly take 12 seconds.