ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-12-23 10:12:21 +03:00
Code Issues Packages Projects Releases Wiki Activity
2,106 Commits 54 Branches 46 Tags 340 MiB
a839f38718
Commit Graph

2106 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
howardwu
a839f38718 Properly stringify it 2021-02-25 10:50:10 -08:00
howardwu
9a609991e4 Add Leo run to publish for sanity check 2021-02-25 10:35:51 -08:00
howardwu
9192c4a082 Update publish 2021-02-25 10:24:07 -08:00
howardwu
69397f908b Fix publish remote 2021-02-25 10:17:52 -08:00
howardwu
0c6a0ff9af Fix publish CI 2021-02-25 10:10:21 -08:00
howardwu
f596dc8887 Add leo clone workflow 2021-02-25 10:03:17 -08:00
howardwu
7c6dfeb599 Remove leo publish from GA 2021-02-25 10:02:31 -08:00
howardwu
23a4604794 Fix variables in ci 2021-02-25 09:58:25 -08:00
howardwu
52ff071ad3 Update leo-publish CI 2021-02-25 09:57:22 -08:00
howardwu
dd4ee7dd9a Add leo clone and publish for circleci 2021-02-25 09:34:06 -08:00
howardwu
4fc5f3f30c Adds 'leo clone' command 2021-02-25 09:29:50 -08:00
howardwu
d5f787cd92 Merge branch 'master' of https://github.com/AleoHQ/leo into ci-publish-workflow 2021-02-25 09:04:57 -08:00
damirka
6d19c9470a fixes copy-paste naming 2021-02-25 16:05:11 +03:00
damirka
944d93fe4e added comment for publishing workflow 2021-02-25 16:03:55 +03:00
Collin Chin
d85a057ddc
Merge pull request #694 from AleoHQ/refactor/leo 
Updates Leo CLI with safety enhancements, adds CircleCI resolving flaky tests
 2021-02-25 00:02:22 -08: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
4a75b8d7fa Add leo login and logout to circleci 2021-02-24 22:22:29 -08:00
howardwu
2f0ad62795 Fix leo setup path 2021-02-24 22:19:16 -08:00
howardwu
c3d08e9c6c Add leo setup to circleci 2021-02-24 22:13:55 -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
e29100c70f Switch output to debug 2021-02-24 21:55:50 -08:00
howardwu
a3006764ab Fix leo clean CI 2021-02-24 21:52:51 -08:00
howardwu
0915293e26 Update circleci to rust 1.50.0 2021-02-24 21:48:54 -08:00
howardwu
808e631014 Add leo clean to circleci 2021-02-24 21:45:06 -08:00
howardwu
345d09d186 Update config 2021-02-24 21:32:57 -08:00
howardwu
de1d06e9dd Add leo init circleci 2021-02-24 21:23:47 -08:00
howardwu
ef642cbe54 Split leo-new test into shell file 2021-02-24 21:18:42 -08:00
howardwu
4004f7575c Attempt leo new circleci 2021-02-24 21:11:31 -08:00
howardwu
0a20afad89 Bump circle 2021-02-24 21:04:38 -08:00
howardwu
7653eeea48 Test circle 2021-02-24 20:55:29 -08:00
howardwu
8d58338fe9 Update .gitignore 2021-02-24 20:46:54 -08:00
howardwu
c7de72f021 Update circleci 2021-02-24 20:40:03 -08:00
howardwu
1c06ace36e Update circle 2021-02-24 20:37:59 -08:00
howardwu
2ba5b859e1 Update circleci 2021-02-24 20:30:25 -08:00
howardwu
9c96390505 Adds DEVELOPMENT.md 2021-02-24 20:28:27 -08:00
howardwu
d9ec234840 Bump circle test 2021-02-24 20:20:02 -08:00
howardwu
43931de088 Update CircleCI 2021-02-24 20:11:23 -08:00
howardwu
5f3e068389 Update README.md 2021-02-24 20:06:04 -08:00
howardwu
c6852838f1 Adds CircleCI 2021-02-24 20:03:50 -08:00
howardwu
97ffabb6ad Update README 2021-02-24 19:59:50 -08:00
howardwu
963013f523 Remove duplicate comment 2021-02-24 19:51:29 -08:00
howardwu
34f5e8105d Prints out number of constraints from now on 2021-02-24 19:49:00 -08:00
howardwu
9206d55408 Clippy 2021-02-24 19:43:03 -08:00
howardwu
c76cb0b086 Add unit test for package name checking 2021-02-24 19:41:52 -08:00
howardwu
73b550011e Adds safety check for valid package names 2021-02-24 19:25:41 -08:00
howardwu
c61cd3459a Removes use of 'Default' in CLI 2021-02-24 18:41:36 -08:00
howardwu
a74a141e33 Clean up comments 2021-02-24 18:18:13 -08:00
howardwu
bea3ee31f6 Rename update command 'Sub' to 'Automatic' 2021-02-24 18:16:13 -08:00