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"