ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-10-26 15:13:13 +03:00
Code Issues Packages Projects Releases Wiki Activity
7,020 Commits 47 Branches 43 Tags 373 MiB
ff915151aa
Commit Graph

203 Commits

Author SHA1 Message Date
Pranav Gaddamadugu
b0ef7a8f46 Update testnet3 to mainnet 2024-05-14 13:31:33 -07:00
evan-schott
32aedaba45 Remove RUST_BACKTRACE from CI 2024-04-16 11:55:10 -07:00
Pranav Gaddamadugu
4fe984ce7c Update Testnet3 to Mainnet 2024-04-01 06:43:54 -07:00
Pranav Gaddamadugu
26e5de5bd9 Update README.md 2024-03-29 19:05:28 -07:00
Pranav Gaddamadugu
1c33fb86a9 Recache 2024-03-29 13:25:34 -07:00
Pranav Gaddamadugu
b8b1ab797c Cleanup 2024-03-29 13:22:36 -07:00
Pranav Gaddamadugu
1c87377878 Recache 2024-03-29 13:22:12 -07:00
Pranav Gaddamadugu
4fa480c16e Bump sccache 2024-03-29 13:06:51 -07:00
Pranav Gaddamadugu
baa9d00e18 Cleanup 2024-03-29 13:02:19 -07:00
Pranav Gaddamadugu
a5c649a138 Recache 2024-03-29 12:53:39 -07:00
Pranav Gaddamadugu
78ff747436 Fix CI config 2024-03-28 10:57:00 -07:00
Pranav Gaddamadugu
90fa030154 Enable caching 2024-03-28 10:48:47 -07:00
Pranav Gaddamadugu
acb5b612fe Attempt 2024-03-28 10:48:07 -07:00
Pranav Gaddamadugu
49ac49b5b1 Reenable caching 2024-03-28 10:35:32 -07:00
Pranav Gaddamadugu
02030fd60b Refresh CI cache 2024-03-28 10:34:35 -07:00
Christian Wooddell
3597998b58
Revert "Feature - Add GitHub Action to add contributors to README" 2023-11-08 11:17:13 -08:00
Christian Wooddell
0e4a2e0b8c Implement github action to add contributors 2023-11-06 12:04:45 -08:00
Collin Chin
3c3543f6c6
Update release.yml 
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
 2023-09-26 13:11:05 -07:00
Collin Chin
ac0e474f29
Update release.yml (#2602) 
Signed-off-by: Collin Chin <16715212+collinc97@users.noreply.github.com>
 2023-09-21 15:12:51 -07:00
collin
4a07b20df5 replace failing xcode-select installer for macos ci 2023-09-05 16:20:23 -07:00
Collin Chin
013809c076
implement leo example command for lottery, tictactoe, token (#2514) 
* implement leo example command for lottery, tictactoe, token

* remove unused cli arg

* update github actions

* update github actions
 2023-08-08 09:42:30 -07:00
Collin Chin
fd162a403b
remove brew update command from ci (#2445) 2023-07-05 15:45:06 -07:00
Collin Chin
8575c34ac5
add github action for testnet3 branch (#2228) 2023-01-03 18:18:18 -08:00
Collin Chin
ba5c4cfa41
Update Codecov to v3 (#2224) 
* test 0 change to code coverage

* clippy: remove useless .into_iter()

* update codecov action v3

* remove unused codecov token

* remove space
 2023-01-03 15:34:31 -08:00
sptg
c67742e560
Build Linux musl is required for leo web playground. (#2183) 2022-11-30 11:13:35 -08:00
collin
1e5142a8a2 prepare for testnet3 as repo branch 2022-07-18 18:28:23 -07:00
Eric McCarthy
2d365c49b5 tgc parsing for testnet3 2022-05-23 01:22:23 -07:00
collin
175e534731 Remove cd dir 2022-03-14 13:34:01 -07:00
collin
aceee46534 Replace broken scoop windows ci 2022-03-14 13:14:19 -07:00
collin
9799520f43 delete unused wasm ci 2022-02-22 15:13:50 -08:00
collin
9cd774d38f comment out unused wasm ci 2022-02-07 17:16:52 -05:00
collin
31f90a9032 deprecate blake2s 2022-01-25 13:31:02 -08:00
collin
a5368fb12a comment out wasm ci 2022-01-24 16:15:17 -08:00
gluax
64075cfd31 fix spelling mistake, re-add codecov 2022-01-21 13:13:15 -08:00
gluax
a367bfebe3 forgot we needed to update the ci's as well. 2022-01-21 12:15:10 -08:00
damirka
85059a682d Merge branch 'master' into leo-wasm 2021-09-25 12:14:46 +03:00
damirka
0aa6eabb0c adds README, extends error object 2021-09-25 12:13:59 +03:00
damirka
aadd998665 fix matrix, remove sscache 2021-09-23 19:27:09 +03:00
damirka
e33b41ea1c install wasm-pack with cargo 2021-09-23 19:24:43 +03:00
damirka
dbf40f9d23 add Rust to CI 2021-09-23 19:14:38 +03:00
damirka
6ffd8a5e49 fix name of the CI 2021-09-23 19:06:27 +03:00
damirka
5d7fea6215 adds a CI 2021-09-23 18:59:36 +03:00
Eric McCarthy
7f1277940b [tgc CI] make log more readable; allow tgc type inference to run even if there is a tgc canonicalization failure 2021-09-16 12:35:22 -07:00
Damir S
0bc843f8f6
Update acl2.yml 2021-08-31 20:41:04 +03:00
damirka
ab01d45bfc enable ti 2021-08-31 20:29:50 +03:00
damirka
3a60404038 remove output 2021-08-31 20:23:40 +03:00
damirka
2c66f5589b workflow dispatch 2021-08-31 20:23:11 +03:00
gluaxspeed
a4652829df update conflicting tests 2021-08-27 04:50:42 -07:00
damirka
9579a430d7 attach theorem.lisp file 2021-08-24 22:34:00 +03:00
damirka
e0c2f6470f Revert "try acl2 version v0.1.1" 
This reverts commit 31786a9180.
 2021-08-24 22:09:32 +03:00