ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-11-23 15:15:47 +03:00
Code Issues Packages Projects Releases Wiki Activity

Update acl2.yml

Browse Source
This commit is contained in:
Damir S 2021-08-31 20:41:04 +03:00 committed by GitHub
parent ab01d45bfc
commit 0bc843f8f6
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 11 additions and 11 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -59,12 +59,12 @@ jobs:
echo $dir;
done;
echo "Attaching logs:"
for dir in ${canonicalization_errors[@]};
do
# cat tmp/tgc/$dir/canonicalization_result.out
# cat tmp/tgc/$dir/canonicalization-theorem.lisp
done;
#echo "Attaching logs:"
#for dir in ${canonicalization_errors[@]};
#do
# cat tmp/tgc/$dir/canonicalization_result.out
# cat tmp/tgc/$dir/canonicalization-theorem.lisp
#done;
exit 1
fi
@ -77,11 +77,11 @@ jobs:
echo $dir;
done;
echo "Attaching logs:"
for dir in ${type_inference_errors[@]};
do
# cat tmp/tgc/$dir/type_inference_result.out
done;
#echo "Attaching logs:"
#for dir in ${type_inference_errors[@]};
#do
# cat tmp/tgc/$dir/type_inference_result.out
#done;
exit 1
fi