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
6,992 Commits 47 Branches 43 Tags 373 MiB
9b79386014
Commit Graph

228 Commits

Author SHA1 Message Date
gluaxspeed
622ff5a9c3 finish docs, setup ci to publish docs pages, test docs generation 2021-08-10 19:59:27 -07:00
gluaxspeed
2f045e13cc create docs job, update ciricle ci rust version 2021-08-10 14:35:30 -07: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
Alessandro Coglio
8e8e3fdf42
Merge pull request #1150 from AleoHQ/feature/remove-nightly-support 
[Feature] Deprecate Nightly + OS CIs
 2021-08-03 14:59:07 -07:00
damirka
14a5fbb33e bump snarkvm-dpc to 0.7.6 2021-08-03 02:16:51 +03:00
gluaxspeed
dc37ef37f2 cache codecov and m1 2021-07-14 18:07:49 -07:00
gluaxspeed
8596e2cd1f Fix some github-actions yaml syntax 2021-07-14 18:07:11 -07:00
gluaxspeed
b8dcad44cc tests on github actions its easier cache platforms 2021-07-14 18:05:40 -07:00
gluaxspeed
315dcebb34 fmt stable only features, test all the platforms, cc stable 2021-07-14 13:55:01 -07:00
gluaxspeed
1168354a5c ci changes remove nightly asides from fmt 2021-07-14 13:26:32 -07:00
gluaxspeed
dd016f46ad remove CARGO_NET_GIT_FETCH_WITH_CLI: true 2021-07-08 11:29:20 -07:00
Howard Wu
72b25a7f22
Merge pull request #902 from AleoHQ/dependabot/add-v2-config-file 
Upgrade to GitHub-native Dependabot
 2021-06-21 14:31:18 -07:00
damirka
b9431fb4ac cleanup 2021-06-16 15:21:11 +03:00
damirka
0b49f0c9ad one more fix for cargo config 2021-06-16 15:05:29 +03:00
damirka
505aac2dc2 fixes cargo config 2021-06-16 14:48:29 +03:00
damirka
d0b05778fc adds build for apple silicon 2021-06-16 14:23:22 +03:00
dependabot-preview[bot]
46d2dcc83b
Upgrade to GitHub-native Dependabot 2021-04-29 15:43:55 +00:00
Howard Wu
2aabb09468 Adds a noconfig feature for release builds 2021-03-31 22:14:03 -07:00
Howard Wu
19e3bfc253
Merge pull request #639 from dev-sptg/fix-windows-build 
Fix build for windows 64 bit
 2021-03-31 21:26:27 -07:00
howardwu
d78692b4dd Clean up 2021-03-15 23:15:03 -07:00
howardwu
7259dbabb3 Revert codecov 2021-03-15 22:53:26 -07:00
howardwu
cf315f4ed6 Switch test infrastructure to CircleCI 2021-03-15 20:34:37 -07:00
howardwu
5b6cfd5c77 Removes leo setup from GA 2021-02-24 22:34:19 -08:00
howardwu
6f1f295ec5 Removes leo login and logout GA 2021-02-24 22:34:01 -08:00
howardwu
4cb0334453 Removes leo add and remove GA 2021-02-24 22:04:27 -08:00
howardwu
303c69e863 Add leo add and remove to circleci 2021-02-24 21:59:06 -08:00
howardwu
808e631014 Add leo clean to circleci 2021-02-24 21:45:06 -08:00
Collin Chin
558c974ae0
Merge pull request #590 from AleoHQ/feature/bors-badge 
[CI] Add bors
 2021-02-10 20:35:06 -08:00
collin
8c68b9e9ee add staging and trying branches to ci 2021-02-10 14:00:37 -08:00
dev-sptg
3ed7e13b3d Fix build for windows 64 bit 2021-02-09 19:30:06 +02:00
damirka
2ff2db2570 Leo CLI is now on StructOpt and Anyhow 
Features:

- introduces new Command and Route traits for Leo commands and Aleo PM API
- most of the CLI code replace with higher-level abstraction - StructOpt
- anyhow used for error handling, no more custom error classes
- improves API - now every status code has its business logic
- adds global flags (e.g. --quiet to suppress output)
- error messages improved for convenience and better user experience

Closes:

- #604
- #599
- #584
- #277
- #376
 2021-02-08 15:48:35 +03:00
Howard Wu
bdae2425a7
Merge pull request #589 from AleoHQ/add-check-setup 
[CLI] Adds --skip-key-check option to setup, run and prove commands
 2021-02-03 11:31:35 -08:00
howardwu
c481f19fa7 Update clippy logic 2021-02-01 20:15:57 -08:00
collin
f259828097 disable nightly clippy checks 2021-02-01 10:45:55 -08:00
Damir Shamanaev
576823df49 setup CI runs on pedersen hash example 2021-01-29 23:26:13 +03:00
Damir Shamanaev
ea742a5a4e adds --skip-key-check option to setup, run and prove commands 2021-01-29 23:01:52 +03:00
Damir Shamanaev
d4a765398c removes token check on leo add command 
- loggin for leo add was not necessary
- login/logout CI is separated
- add/remove checked together w/o logging in
 2021-01-27 15:33:01 +03:00
Damir Shamanaev
b638b84c5c changed workflow name - now leo-add 2021-01-26 19:19:08 +03:00
Damir Shamanaev
2aea36aa96 Adds leo add and leo remove CI cycle 
- requires ALEO_PM_USERNAME and ALEO_PM_PASSWORD to be set in secrets
- follows simple workflow: new-login-add-remove
 2021-01-25 15:50:19 +03:00
howardwu
cf8d646008 Move into outputs folder for leo clean checks 2021-01-18 08:24:59 -08:00
howardwu
a01004a303 Check that the outputs directory is empty on clean 2021-01-18 08:14:13 -08:00
howardwu
fa0cd887f4 Fix leo clean 2021-01-17 16:58:31 -05:00
howardwu
9678762ad4 Add caching for rust core jobs 2021-01-17 16:57:48 -05:00
howardwu
c3206ec558 Check location 2021-01-17 16:46:00 -05:00
howardwu
760fa9ee5c Release is unnecessary 2021-01-17 16:33:54 -05:00
howardwu
8db5374ebc Fix typo 2021-01-17 16:33:20 -05:00
howardwu
6739ab0040 Expand ci on leo commands 2021-01-17 14:33:52 -04:00
howardwu
d5cb59c206 Update ci.yml 2021-01-02 19:18:38 -04:00
howardwu
59296f36b0 Update release build 2020-12-18 22:55:08 -04:00
howardwu
9fa36d4f8f Update ci with path-ignores 2020-12-17 12:23:45 -04:00
howardwu
a37aa7bae4 Update ci.yml 2020-11-30 18:06:46 -04:00
howardwu
10d79fd708 Remove need for ssh key in CI 2020-10-20 18:19:12 -07:00
collin
c38d6322c9 fix incorrect directory name 2020-09-18 11:39:26 -07:00
collin
1efb4440bc fix incorrect directory name 2020-09-18 11:36:41 -07:00
raychu86
7fb89df7c8 Fix workflow directory 2020-09-13 21:59:43 -07:00
raychu86
dd31352bc6 Add package test workflow 2020-09-13 21:53:53 -07:00
howardwu
c24b2d1a04 Update release tests 2020-08-29 00:32:13 -07:00
howardwu
cd7e9b21cf Update release.yml 2020-08-21 04:59:00 -07:00
raychu86
5781a1a357 Update release.yml packaging convention 2020-08-21 01:46:48 -07:00
howardwu
91ae29667a Fix windows 2020-08-15 01:44:56 -07:00
howardwu
fb666a1968 Change to mac 2020-08-15 00:46:01 -07:00
howardwu
b55f4bacff add v back 2020-08-15 00:31:16 -07:00
howardwu
796273cc0a Fix windows exe find 2020-08-15 00:11:06 -07:00
howardwu
af84f66902 Update zip logic 2020-08-14 23:11:38 -07:00
howardwu
056feaf053 Try adding version 2020-08-14 21:36:11 -07:00
howardwu
55cc1d769c Try adding version 2020-08-14 21:34:15 -07:00
howardwu
a0e3904b86 Update release move 2020-08-14 21:26:30 -07:00
howardwu
9bfb046274 Update leo packaging 2020-08-14 21:11:03 -07:00
howardwu
ce0eff914c Add ls 2020-08-14 20:46:14 -07:00
howardwu
3cf8c481fb Clean up release 2020-08-14 01:49:14 -07:00
howardwu
8c01bf3ffe Clean up release 2020-08-14 01:04:47 -07:00
howardwu
46b9f13885 Test 2020-08-14 00:24:24 -07:00
howardwu
7b6c912c70 Switch ssh 2020-08-14 00:22:05 -07:00
howardwu
64349ab590 Switch ssh 2020-08-14 00:21:35 -07:00
howardwu
2018e50b66 Try different ssh 2020-08-14 00:10:34 -07:00
howardwu
6cdf0983f8 Update windows ci 2020-08-13 23:42:25 -07:00
howardwu
164ea500eb Add windows support 2020-08-13 23:11:20 -07:00
howardwu
394c339b6e Add windows support 2020-08-13 23:05:47 -07:00
howardwu
0c676fb393 Update release ci 2020-08-13 02:24:57 -07:00
howardwu
adf6827a9c Update release script 2020-08-13 01:39:49 -07:00
howardwu
24a679474e Switch to tags 2020-08-13 00:21:35 -07:00
Howard Wu
9f77e49db9
Update release.yml 2020-08-12 22:19:00 -07:00
howardwu
fbc2b51207 skip windows for now 2020-08-12 22:12:03 -07:00
howardwu
7d426c2e4c Test run 2020-08-12 17:29:44 -07:00
howardwu
216a552ae9 Test run 2020-08-12 17:25:22 -07:00
howardwu
556f1d4b39 Test run 2020-08-12 17:13:29 -07:00
howardwu
94e7711ca9 Test run 2020-08-12 16:46:03 -07:00
howardwu
a40f9cecea Test run 2020-08-12 16:43:23 -07:00
howardwu
336554f28c Test run 2020-08-12 16:33:11 -07:00
howardwu
1581a0876d Test run 2020-08-12 16:24:11 -07:00
howardwu
cd5fda0d49 Test run 2020-08-12 16:24:02 -07:00
howardwu
20fee8d54b Test run 2020-08-12 16:21:00 -07:00
howardwu
27c8397c4b Test run 2020-08-12 16:20:23 -07:00
howardwu
b6062f9bb9 Test run 2020-08-12 01:47:45 -07:00
howardwu
6730701d84 Test run 2020-08-12 01:44:46 -07:00
howardwu
a63c86c5bd Test run 2020-08-12 01:29:09 -07:00
howardwu
d7a82fb2e7 Test run 2020-08-12 01:28:52 -07:00
howardwu
27ecfa0f69 Merge commands 2020-08-03 21:40:51 -07:00
howardwu
14c2d9e742 Split leo commands and print out state 2020-08-03 21:06:18 -07:00
howardwu
cccb62e5a4 Adds leo init CI as well 2020-08-03 21:03:47 -07:00
howardwu
ff88a8327b Adds leo.yml 2020-08-03 21:00:57 -07:00
howardwu
3ccfd2c764 Adds ci_skip 2020-08-02 19:57:28 -07:00
howardwu
555ca1b644 Comment out fully 2020-08-02 18:13:54 -07:00
howardwu
6b20a17376 Allow deprecated 2020-08-02 17:59:04 -07:00
howardwu
fc1f0513c6 Comment out unused ci components 2020-08-02 17:43:37 -07:00
howardwu
b2bb60408e Update issues templates 2020-07-30 23:38:39 -07:00
Howard Wu
7bf299903b
Update config.yml 2020-07-27 21:26:09 -07:00
Howard Wu
a9c07c0ae7
Create config.yml 2020-07-27 21:19:48 -07:00
Howard Wu
dd75dda33d
Update 02_bug_report.md 2020-07-27 21:19:14 -07:00
Howard Wu
3952af5f94
Update and rename 01_feature_request.md to 01_bug_report.md 2020-07-27 21:18:37 -07:00
howardwu
cbe65e1c6c Cleanup CI 2020-06-27 23:56:31 -07:00
Howard Wu
b4cfa64167
Adds ci.yml (#77) 
* Adds ci.yml

* Update ci script

* Update Cargo.toml

* Update to ubuntu-latest

* Update dependencies

* Update git deps with rev

* Update ci script

* Update ci script

* Update ci script

* Update code coverage

* Update code coverage

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI

* Update CI script

* Update CI script
 2020-06-27 20:16:38 -07:00
howardwu
a725a2d999 Update markdown script 2020-06-15 17:38:14 -07:00
howardwu
08acdf2be8 Update README 2020-06-15 17:12:29 -07:00
howardwu
7ce86f854e Update README 2020-06-15 17:06:06 -07:00
howardwu
c9ba4797b6 Update README 2020-06-15 17:02:14 -07:00
howardwu
0747b6f5d9 Update README 2020-06-15 16:26:43 -07:00
howardwu
33b2938d2b Update README 2020-06-15 15:32:11 -07:00
howardwu
cb1a789fcc Update README 2020-06-15 15:24:36 -07:00
howardwu
f758242a8e Update README 2020-06-13 18:26:26 -07:00
howardwu
d127ed50f3 Adds empty issue templates and resources folder 2020-06-13 18:18:44 -07:00
howardwu
192f15e678 Update markdown.yml 2020-06-13 18:10:42 -07:00
howardwu
03f562ccfb Update markdown.yml 2020-06-13 18:05:40 -07:00
howardwu
95643f8827 Update markdown.yml 2020-06-13 18:00:43 -07:00
howardwu
5afe541b3e Adds .github 2020-06-13 17:59:35 -07:00