Fix CI test file location (!114) · Merge requests · tum-cps / Timor Python

Jonathan Külz requested to merge ci/import_fix into main Apr 19, 2023

This was about issue #31 (closed)

Finally, decided that the issue is not a bug but intended behavior (see above). Code changes in this MR are kept minimal, but commits will be kept to be able to retrace this discussion in the future

Edited Apr 20, 2023 by Jonathan Külz

Fix CI test file location

Merge request reports