[FTheoryTools] Add some missing ensure_artifact_installed
to doctests#4055
Merged
HereAround merged 1 commit intooscar-system:masterfrom lgoettgens:lg/ensure_artifact_installedAug 29, 2024
+4-4
ensure_artifact_installed
to doctests#4055