AleoHQ/leo
1
1
Fork 0
mirror of https://github.com/AleoHQ/leo.git synced 2024-09-20 03:27:14 +03:00
Code Issues Packages Projects Releases Wiki Activity

Revert "try acl2 version v0.1.1"

Browse Source 
This reverts commit 31786a9180.
This commit is contained in:
damirka 2021-08-24 22:09:32 +03:00
parent 31786a9180
commit e0c2f6470f
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -37,9 +37,7 @@ jobs:
- name: Pull tgc executable
run: |
mkdir acl2 && cd acl2;
# temporarily changing this line to v0.1.1 instead of latest
# wget $(curl -s https://api.github.com/repos/AleoHQ/leo-acl2-bin/releases/latest \
wget $(curl -s https://api.github.com/repos/AleoHQ/leo-acl2-bin/releases/47557967 \
wget $(curl -s https://api.github.com/repos/AleoHQ/leo-acl2-bin/releases/latest \
| grep "browser_download_url.*.tgz" \
| cut -d : -f 2,3 \
| tr -d \" \