Workflow change

This commit is contained in:
Michel Roegl-Brunner 2025-05-06 14:40:06 +02:00
parent be851f8211
commit 58e666d854

View File

@ -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"