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