Building development version without build isolation: model files not found

[sjunges]

When building with -ve and --no-build-isolation: The documentation fails as it cannot find model files, e.g., for schedulers:

RuntimeError                              Traceback (most recent call last)
Cell In[7], line 7
      5 path = stormpy.examples.files.prism_mdp_coin_2_2
      6 formula_str = 'Pmin=? [F "finished" & "all_coins_equal_1"]'
----> 7 program = stormpy.parse_prism_program(path)
      8 formulas = stormpy.parse_properties(formula_str, program)
      9 options = stormpy.BuilderOptions()

RuntimeError: FileIoException: Could not open file /Users/junges/.pyenv/versions/storm13/lib/python3.13/site-packages/stormpy/examples/files/mdp/coin2-2.nm.

This relates to #233, but is a bit different.

[volkm]

What do you run for the failure? Is it pytest doc? Because I could not yet reproduce the issue on my machine.