From 031cc980775036ae1581b000c26ba72975d4c779 Mon Sep 17 00:00:00 2001
From: damirka <damirka.ru@gmail.com>
Date: Tue, 17 Aug 2021 10:44:44 +0300
Subject: [PATCH] test release fetcher

---
 .github/workflows/acl2.yml | 64 +++++++++++++++++++++-----------------
 1 file changed, 36 insertions(+), 28 deletions(-)

diff --git a/.github/workflows/acl2.yml b/.github/workflows/acl2.yml
index 671fe21bee..cce87d7dd0 100644
--- a/.github/workflows/acl2.yml
+++ b/.github/workflows/acl2.yml
@@ -12,34 +12,42 @@ jobs:
       - name: Checkout
         uses: actions/checkout@v2
 
-      - name: Install Rust
-        uses: actions-rs/toolchain@v1
+      # - name: Install Rust
+      #   uses: actions-rs/toolchain@v1
+      #   with:
+      #     profile: minimal
+      #     toolchain: stable
+      #     override: true
+
+      # - name: Prepare tgc
+      #   run: |
+      #     cd acl2 && gunzip leo-acl2.lx86cl64.gz
+      #     ls -la .
+
+      # - name: Generate asts
+      #   run: |
+      #     cargo run -p leo-test-framework --bin tgc
+
+      - name: Download tgc
+        uses: pozetroninc/github-action-get-latest-release@master
         with:
-          profile: minimal
-          toolchain: stable
-          override: true
-
-      - name: Prepare tgc
+          repository: AleoHQ/leo-acl2-bin
+      
+      - name: List files
         run: |
-          cd acl2 && gunzip leo-acl2.lx86cl64.gz
-          ls -la .
+          ls -la
 
-      - name: Generate asts
-        run: |
-          cargo run -p leo-test-framework --bin tgc
-          ls -l tmp
-
-      - name: Run tgc over the asts
-        run: |
-          ARRAY=();
-          for dir in `ls tmp/tgc`;
-          do
-            cd tmp/tgc/$dir; # enter the directory
-            ./../../../acl2/tgc canonicalization initial_ast.json canonicalization_ast.json canonicalization-theorem.lisp || ARRAY+=("$dir");
-            cd ../../..
-          done;
-          echo "Failures:";
-          for i in ${ARRAY[@]};
-          do
-          echo $i;
-          done;
+      # - name: Run tgc over the asts
+      #   run: |
+      #     ARRAY=();
+      #     for dir in `ls tmp/tgc`;
+      #     do
+      #       cd tmp/tgc/$dir; # enter the directory
+      #       ./../../../acl2/tgc canonicalization initial_ast.json canonicalization_ast.json canonicalization-theorem.lisp || ARRAY+=("$dir");
+      #       cd ../../..
+      #     done;
+      #     echo "Failures:";
+      #     for i in ${ARRAY[@]};
+      #     do
+      #     echo $i;
+      #     done;