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

remove output

Browse Source
This commit is contained in:
damirka 2021-08-31 20:23:40 +03:00
parent 2c66f5589b
commit 3a60404038
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

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