Add extra step to change current directory to GITHUB_WORKSPACE

This commit is contained in:
2023-12-21 12:10:20 +01:00
parent c75ce74338
commit 8f3b59b82e

View File

@@ -6,7 +6,8 @@ files="$1"
compiler="$2" compiler="$2"
options="$3" options="$3"
echo "Will compile files: $files" cd "$GITHUB_WORKSPACE"
ls -lh ./
for f in $files; do for f in $files; do
if [-f "$f" ]; then if [-f "$f" ]; then