From 58e666d8548aaae7c80f97fc405bce210a6dbd40 Mon Sep 17 00:00:00 2001 From: Michel Roegl-Brunner Date: Tue, 6 May 2025 14:40:06 +0200 Subject: [PATCH] Workflow change --- .github/workflows/move-to-main-repo.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/move-to-main-repo.yaml b/.github/workflows/move-to-main-repo.yaml index d0c3b6a..63595f5 100644 --- a/.github/workflows/move-to-main-repo.yaml +++ b/.github/workflows/move-to-main-repo.yaml @@ -141,7 +141,7 @@ jobs: git checkout -b "$branch_name" cp ../ct/$script_name.sh ct/. - cp ../ct/headers/$script_name ct/headers/. + cp ../ct/headers/$script_name ct/headers/. || true cp ../install/$script_name-install.sh install/. json_file="${script_name}.json"