ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-24 18:52:58 +03:00
Code Issues Packages Projects Releases Wiki Activity

fix bash variables

Browse Source
This commit is contained in:
damirka 2021-08-19 20:28:43 +03:00
parent 529c06623b
commit 5453225b5d
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
.github/workflows/acl2.yml vendored
View File

@ -62,13 +62,13 @@ jobs:
echo "Canonicalization - Success!"
else
echo "Canonicalization Failures:";
for $dir in ${canonicalization_errors[@]};
for dir in ${canonicalization_errors[@]};
do
echo $dir;
done;
echo "Attaching logs:"
for $dir in ${canonicalization_errors[@]};
for dir in ${canonicalization_errors[@]};
do
cat tmp/tgc/$dir/canonicalization_result.out
done;
@ -79,13 +79,13 @@ jobs:
echo "Type Inference - Success!"
else
echo "Type Inference Failures:";
for $dir in ${type_inference_errors[@]};
for dir in ${type_inference_errors[@]};
do
echo $dir;
done;
echo "Attaching logs:"
for $dir in ${type_inference_errors[@]};
for dir in ${type_inference_errors[@]};
do
cat tmp/tgc/$dir/type_inference_result.out
done;