1
1
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-21 17:21:34 +03:00
Commit Graph

24 Commits

Author SHA1 Message Date
damirka
63ac4b79a3 update implementation, follow recent changes in imports 2021-08-21 21:04:58 +03:00
damirka
05d04e2a43 disable type inference checks 2021-08-21 20:56:08 +03:00
damirka
5453225b5d fix bash variables 2021-08-19 20:28:43 +03:00
damirka
529c06623b fix logging, print list of failures first 2021-08-19 20:21:59 +03:00
damirka
cddc0d62b1 skip access_all test 2021-08-19 20:10:15 +03:00
damirka
060513bffa cleanup and remove panic 2021-08-19 13:28:22 +03:00
damirka
35f56cd648 more intelligent system for printing out failures 2021-08-19 11:14:13 +03:00
damirka
2c7a2b804d adds type inference stage 2021-08-19 10:46:28 +03:00
damirka
52b2a4a3cb final cleanup 2021-08-18 17:51:50 +03:00
damirka
bc6ad13930 adds exit code and error printing 2021-08-18 14:53:18 +03:00
damirka
a511638021 try to run it all together 2021-08-17 13:27:23 +03:00
damirka
2ec1065c18 fix pipes, make oneliner 2021-08-17 13:16:05 +03:00
damirka
5a1bf7e26e adds mkdir tmp 2021-08-17 13:15:00 +03:00
damirka
a1cc026c58 use curl to fetch 2021-08-17 13:14:00 +03:00
damirka
7e8da8cc80 add echo outputs 2021-08-17 13:10:02 +03:00
damirka
775109f40c yet another change of version 2021-08-17 13:07:23 +03:00
damirka
b1cf6024d7 add v2 to action 2021-08-17 13:06:07 +03:00
damirka
e05cca47ff remove version from fetch-latest-release 2021-08-17 13:04:38 +03:00
damirka
56ce8558df change action to a different one 2021-08-17 13:03:10 +03:00
damirka
031cc98077 test release fetcher 2021-08-17 10:44:44 +03:00
damirka
97645eb443 remove comments, update circleci to rust 1.54 2021-08-09 21:57:15 -07:00
damirka
98ee5af387 collect failures 2021-08-09 21:55:03 -07:00
damirka
64e3432985 change to stable toolchain 2021-08-09 21:55:03 -07:00
damirka
595ae607f9 draft CI for acl2 -- without binaries 2021-08-09 21:51:54 -07:00