From 0bc843f8f671443f5a6f9d5b573932f0867503b9 Mon Sep 17 00:00:00 2001
From: Damir S <damirka.ru@gmail.com>
Date: Tue, 31 Aug 2021 20:41:04 +0300
Subject: [PATCH] Update acl2.yml

---
 .github/workflows/acl2.yml | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/.github/workflows/acl2.yml b/.github/workflows/acl2.yml
index 5f9c63e335..68a0b47624 100644
--- a/.github/workflows/acl2.yml
+++ b/.github/workflows/acl2.yml
@@ -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