Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ProvableHQ/leo issues and pull requests
#28345 - [Feature] Leo CLI new version update notification
Pull Request -
State: closed - Opened by ungaro 2 months ago
- 4 comments
#28344 - [Feature] Handle GET and POST requests better.
Issue -
State: open - Opened by d0cd 2 months ago
Labels: feature
#28343 - [Feature] Leo init
Issue -
State: open - Opened by d0cd 2 months ago
- 1 comment
Labels: feature
#28342 - Update API endpoint.
Pull Request -
State: closed - Opened by d0cd 2 months ago
#28341 - Bump backtrace from 0.3.73 to 0.3.74
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies
#28340 - Bump anyhow from 1.0.86 to 1.0.87
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies
#28339 - Bump serde from 1.0.209 to 1.0.210
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies
#28338 - [Docs] Add CooperNic to contributors.
Issue -
State: open - Opened by CooperNic 2 months ago
Labels: documentation
#28337 - Bump reqwest from 0.12.5 to 0.12.7
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies
#28336 - Bump clap from 4.5.16 to 4.5.17
Pull Request -
State: closed - Opened by dependabot[bot] 2 months ago
Labels: dependencies
#28335 - [Feature] Leo CLI should notify users as soon as there is a new version available, for any invocation of the CLI
Issue -
State: closed - Opened by d0cd 2 months ago
Labels: feature
#28334 - Update license header, Cargo metadata, and snarkVM rev.
Pull Request -
State: closed - Opened by d0cd 2 months ago
#28333 - [Feature] `leo fmt`
Pull Request -
State: open - Opened by d0cd 2 months ago
#28332 - Leo Installation for Windows Bug (const-oid)
Issue -
State: closed - Opened by Elexy101 2 months ago
- 1 comment
Labels: bug
#28331 - [Proposal] Remove CONTRIBUTORS.md or move it to its own repo.
Issue -
State: open - Opened by ungaro 3 months ago
Labels: proposal
#28330 - [Feature] Add deployment summary with comma-formatted variables and constraints counts.
Pull Request -
State: closed - Opened by ungaro 3 months ago
- 2 comments
#28329 - Bump serde from 1.0.208 to 1.0.209
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies
#28328 - [Feature] CLI should tell exact number of variables in deployment
Issue -
State: closed - Opened by d0cd 3 months ago
- 2 comments
Labels: feature
#28327 - leo error reporting after build
Pull Request -
State: open - Opened by ungaro 3 months ago
- 1 comment
#28326 - small error formatting improvements
Pull Request -
State: closed - Opened by ungaro 3 months ago
- 3 comments
#28325 - Bump serde from 1.0.207 to 1.0.208
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies
#28324 - Bump clap from 4.5.15 to 4.5.16
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies
#28323 - Remove --seed flag from account sign command
Pull Request -
State: closed - Opened by Meshiest 3 months ago
- 3 comments
#28322 - allow non-leo files to be in src folder
Pull Request -
State: closed - Opened by ungaro 3 months ago
- 1 comment
#28321 - allow non leo files to be in src folder
Issue -
State: closed - Opened by ungaro 3 months ago
- 1 comment
Labels: feature
#28320 - Update and improve some parser documentation.
Pull Request -
State: closed - Opened by acoglio 3 months ago
#28319 - Bump serde from 1.0.204 to 1.0.207
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies
#28318 - Bump clap from 4.5.13 to 4.5.15
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies
#28317 - Bump serde from 1.0.204 to 1.0.206
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
- 1 comment
Labels: dependencies
#28316 - [Fix] Futures in Tuples
Pull Request -
State: closed - Opened by evan-schott 3 months ago
#28315 - Bump clap from 4.5.13 to 4.5.14
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
- 1 comment
Labels: dependencies
#28314 - Bump ureq from 2.10.0 to 2.10.1
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies
#28313 - Bump assert_cmd from 2.0.15 to 2.0.16
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies
#28312 - [Bug] Type mismatch when awaiting Future from tuple
Issue -
State: open - Opened by chirswomack 3 months ago
- 4 comments
Labels: bug
#28311 - Bump serde from 1.0.204 to 1.0.205
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
- 1 comment
Labels: dependencies
#28310 - Bump tempfile from 3.11.0 to 3.12.0
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies
#28309 - Update snarkVM rev after the reset.
Pull Request -
State: closed - Opened by d0cd 3 months ago
#28308 - fix: update comment to clarify the account is stored as a hash
Pull Request -
State: closed - Opened by metavind 3 months ago
#28307 - Bump regex from 1.10.5 to 1.10.6
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies
#28306 - Bump tempfile from 3.10.1 to 3.11.0
Pull Request -
State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies
#28305 - Bump crossterm from 0.27.0 to 0.28.1
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies
#28304 - [Input Parse Error using Leo-cli execute command]
Issue -
State: closed - Opened by Elexy101 4 months ago
- 1 comment
Labels: bug
#28303 - Bump crossterm from 0.27.0 to 0.28.0
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
- 1 comment
Labels: dependencies
#28302 - Bump toml from 0.8.16 to 0.8.19
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies
#28301 - Bump clap from 4.5.11 to 4.5.13
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies
#28300 - Bump toml from 0.8.16 to 0.8.17
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
- 1 comment
Labels: dependencies
#28299 - [Bug]
Issue -
State: closed - Opened by Phantagyro 4 months ago
- 1 comment
Labels: bug
#28298 - [Docs] The badge request processing script truncates the part of the name after the hyphen
Issue -
State: open - Opened by rishi2612-max 4 months ago
Labels: documentation
#28297 - internal compiler error
Issue -
State: closed - Opened by essienricch 4 months ago
- 7 comments
Labels: bug
#28296 - internal compiler error
Issue -
State: closed - Opened by essienricch 4 months ago
- 6 comments
Labels: bug
#28295 - Bump clap from 4.5.10 to 4.5.11
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies
#28294 - Bump toml from 0.8.15 to 0.8.16
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies
#28293 - Bump assert_cmd from 2.0.14 to 2.0.15
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies
#28292 - Applying for this position as a Rust developer!
Issue -
State: closed - Opened by goUp9 4 months ago
- 1 comment
Labels: proposal
#28291 - Bump clap from 4.5.9 to 4.5.10
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies
#28290 - [Bug] Leo cli fails on an execute with "Failed to parse input #0"
Issue -
State: closed - Opened by asharma13524 4 months ago
- 9 comments
Labels: bug
#28289 - [Fix] remove duplicate .aleo when deploying programs
Pull Request -
State: closed - Opened by asharma13524 4 months ago
#28288 - [Docs] The badge request processing script truncates the part of the name after the hyphen
Issue -
State: open - Opened by happier-stereos 4 months ago
Labels: documentation
#28287 - [Docs] the list of contributors
Issue -
State: open - Opened by shadows-sedans 4 months ago
Labels: documentation
#28286 - [Docs] add to the list of contributors
Issue -
State: open - Opened by healer-0i 4 months ago
Labels: documentation
#28285 - [Docs] The badge request processing script truncates the part of the name after the hyphen
Issue -
State: open - Opened by maxim-08 4 months ago
Labels: documentation
#28284 - [Docs] The part of the name after the hyphen
Issue -
State: open - Opened by baggie-paucity 4 months ago
Labels: documentation
#28283 - [Docs] List of contributors
Issue -
State: open - Opened by twirl-pound 4 months ago
Labels: documentation
#28282 - [Docs] List of contributors
Issue -
State: open - Opened by chiller-civets 4 months ago
Labels: documentation
#28281 - [Docs] The badge request processing script truncates the part of the name after the hyphen
Issue -
State: open - Opened by only-agape 4 months ago
Labels: documentation
#28280 - [Docs] the part of the name after the hyphen
Issue -
State: open - Opened by killjoy-circles 4 months ago
Labels: documentation
#28279 - [Docs] The badge request processing script truncates the part of the name after the hyphen
Issue -
State: open - Opened by skip-matador 4 months ago
Labels: documentation
#28278 - Bump openssl from 0.10.64 to 0.10.66
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies
#28277 - [Docs] The badge request processing script truncates the part of the name after the hyphen
Issue -
State: open - Opened by leech-piques 4 months ago
Labels: documentation
#28276 - [Docs] The badge request processing script truncates the part of the name after the hyphen
Issue -
State: open - Opened by coders-castors 4 months ago
Labels: documentation
#28275 - [Docs] add to the list of contributors
Issue -
State: open - Opened by proteus-cirques 4 months ago
Labels: documentation
#28274 - [Docs] the part of the name after the hyphen
Issue -
State: open - Opened by casks-mutters 4 months ago
Labels: documentation
#28267 - [Docs] The badge request processing script truncates the part of the name after the hyphen
Issue -
State: open - Opened by fiend-deficit0f 4 months ago
- 1 comment
Labels: documentation
#28260 - [Docs] The badge request processing script truncates the part of the name after the hyphen
Issue -
State: open - Opened by screeds-sure 4 months ago
- 1 comment
Labels: documentation
#28247 - Bump toml from 0.8.14 to 0.8.15
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies
#28246 - Bump thiserror from 1.0.62 to 1.0.63
Pull Request -
State: closed - Opened by dependabot[bot] 4 months ago
Labels: dependencies
#28245 - Fixes the release script for future releases.
Pull Request -
State: closed - Opened by d0cd 4 months ago
- 1 comment
#28239 - [Docs] add to the list of contributors.
Issue -
State: open - Opened by curd-0c 4 months ago
- 1 comment
Labels: documentation
#28206 - [Bug] leo update fails with "unsupported zip archive"
Issue -
State: closed - Opened by harshnambiar 4 months ago
- 1 comment
Labels: bug
#28164 - [Docs] The badge request processing script truncates the part of the name after the hyphen
Issue -
State: open - Opened by brands-ruffles 5 months ago
- 1 comment
Labels: documentation
#28163 - [Docs] The badge request processing script truncates the part of the name after the hyphen
Issue -
State: open - Opened by ranks-rings 5 months ago
- 1 comment
Labels: documentation
#28103 - [Docs] The badge request processing script truncates the part of the name after the hyphen
Issue -
State: open - Opened by tern-mottoes 5 months ago
- 1 comment
Labels: documentation
#27949 - [DO NOT MERGE] Testnet Beta.
Pull Request -
State: closed - Opened by d0cd 6 months ago
- 2 comments
#27948 - Bump serde_yaml from 0.8.26 to 0.9.34+deprecated
Pull Request -
State: closed - Opened by dependabot[bot] 6 months ago
- 1 comment
Labels: dependencies
#27934 - [Feature] Print number of variables when calling leo run
Issue -
State: open - Opened by vicsn 6 months ago
- 1 comment
Labels: feature
#27839 - Bump serde_yaml from 0.8.26 to 0.9.34+deprecated
Pull Request -
State: closed - Opened by dependabot[bot] 8 months ago
- 2 comments
Labels: dependencies
#27503 - [Docs] The badge request processing script truncates the part of the name after the hyphen
Issue -
State: closed - Opened by kira-madrid 10 months ago
- 9 comments
Labels: documentation
#27480 - add 7951 contributors
Pull Request -
State: closed - Opened by christianwwwwwwww 10 months ago
#24299 - [Badge - eyjafjallajoskull]
Issue -
State: closed - Opened by eyjafjallajoskull 11 months ago
- 1 comment
#3206 - add contributors to readme
Pull Request -
State: closed - Opened by christianwwwwwwww about 1 year ago
- 1 comment
#102 - Group one and zero
Issue -
State: closed - Opened by collinc97 over 4 years ago
Labels: bug
#101 - integrate with zkinterface
Issue -
State: open - Opened by collinc97 over 4 years ago
- 2 comments
#100 - Feature/address
Pull Request -
State: closed - Opened by collinc97 over 4 years ago
- 1 comment
#99 - Refactor compiler modules
Issue -
State: closed - Opened by collinc97 over 4 years ago
#98 - Updates README
Pull Request -
State: closed - Opened by howardwu over 4 years ago
- 1 comment
#97 - Feature/circuit self
Pull Request -
State: closed - Opened by collinc97 over 4 years ago
- 1 comment
#96 - refactor import file compilation
Issue -
State: closed - Opened by collinc97 over 4 years ago
Labels: refactor
#95 - Bump serde_json from 1.0.55 to 1.0.56
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#94 - Bump sha2 from 0.9.0 to 0.9.1
Pull Request -
State: closed - Opened by dependabot-preview[bot] over 4 years ago
- 1 comment
Labels: dependencies
#93 - Fix/group field stack overflow
Pull Request -
State: closed - Opened by collinc97 over 4 years ago