Fix type error

GrammaTech · Jul 22, 2024 · 6c11d2e · 6c11d2e
1 parent 5a5ab6a
commit 6c11d2e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.ci/adjust-coverage-paths.py b/.ci/adjust-coverage-paths.py
@@ -42,7 +42,7 @@
 
 if args.source_dir is None:
     parser.error("either --source-dir or CI_PROJECT_DIR is required")
-args.source_dir = args.source_dir.resolve()
+args.source_dir = Path(args.source_dir).resolve()
 
 if args.build_dir is None:
     args.build_dir = args.coverage.parent