From 6800080d4db793c06689de0fc2f37ef73d5d139c Mon Sep 17 00:00:00 2001 From: cclecle Date: Mon, 6 Nov 2023 13:58:20 +0000 Subject: [PATCH] split quality and type check .launch scripts --- RUN_quality.launch | 2 +- RUN_types.launch | 17 +++++++++++++++++ 2 files changed, 18 insertions(+), 1 deletion(-) create mode 100644 RUN_types.launch diff --git a/RUN_quality.launch b/RUN_quality.launch index 2fd1983..68ade87 100644 --- a/RUN_quality.launch +++ b/RUN_quality.launch @@ -10,7 +10,7 @@ - + diff --git a/RUN_types.launch b/RUN_types.launch new file mode 100644 index 0000000..908c721 --- /dev/null +++ b/RUN_types.launch @@ -0,0 +1,17 @@ + + + + + + + + + + + + + + + + +