d0cd
|
bac534fed4
|
Merge pull request #28461 from ProvableHQ/fix/release-ci-linux-musl
[Fix] Temporarily force tag
|
2024-11-19 20:52:35 -08:00 |
|
Pranav Gaddamadugu
|
d477d517b5
|
Force tag
|
2024-11-19 20:51:53 -08:00 |
|
d0cd
|
3906c9a8b0
|
Merge pull request #28460 from ProvableHQ/fix/release-ci-linux-musl
[Hotfix] Temporary for Linux musl release.
|
2024-11-19 20:38:08 -08:00 |
|
Pranav Gaddamadugu
|
71c2b4fa8e
|
Temporary fix for release
|
2024-11-19 20:37:31 -08:00 |
|
d0cd
|
23a80667ee
|
Merge pull request #28459 from ProvableHQ/fix/release-ci-linux-musl
[Fix] Checkout correctly and optionally select tag
|
2024-11-19 20:16:08 -08:00 |
|
Pranav Gaddamadugu
|
ad3bbe5746
|
Checkout correctly and optionally select tag
|
2024-11-19 20:15:19 -08:00 |
|
d0cd
|
d4651d5ab5
|
Merge pull request #28458 from ProvableHQ/fix/release-ci-linux-musl
[Feat] Add tag dispatch to CI
|
2024-11-19 17:23:49 -08:00 |
|
Pranav Gaddamadugu
|
45f67ba599
|
Add tag dispatch to CI
|
2024-11-19 17:23:17 -08:00 |
|
d0cd
|
8a8f565279
|
Merge pull request #28457 from ProvableHQ/fix/release-ci-linux-musl
Use stable instead of x86_64
|
2024-11-19 17:20:28 -08:00 |
|
Pranav Gaddamadugu
|
ceb39d5ad3
|
Use stable instead of x86_64
|
2024-11-19 17:16:43 -08:00 |
|
d0cd
|
055e426642
|
Merge pull request #28456 from ProvableHQ/fix/release-ci-linux-musl
[Fix] Attempt to override GNU default toolchain
|
2024-11-19 17:13:56 -08:00 |
|
Pranav Gaddamadugu
|
0c8f304025
|
Update
|
2024-11-19 17:13:13 -08:00 |
|
d0cd
|
808ad5fbe4
|
Merge pull request #28455 from ProvableHQ/fix/release-ci-linux-musl
[Fix] Musl CI
|
2024-11-19 17:01:54 -08:00 |
|
Pranav Gaddamadugu
|
9a66abfcd0
|
Another fix attempt
|
2024-11-19 17:01:00 -08:00 |
|
d0cd
|
d4d531906a
|
Merge pull request #28454 from ProvableHQ/fix/release-ci-linux-musl
[Fix] Ensure toolchain is set.
|
2024-11-19 16:55:40 -08:00 |
|
Pranav Gaddamadugu
|
602d4998cc
|
Set toolchain
|
2024-11-19 16:55:00 -08:00 |
|
d0cd
|
af5666d188
|
Merge pull request #28453 from ProvableHQ/fix/release-ci-linux-musl
[Fix] Another attempt at ensuring the correct target is downloaded.
|
2024-11-19 16:47:37 -08:00 |
|
Pranav Gaddamadugu
|
af6f0dfe95
|
Attempt another fix
|
2024-11-19 16:45:35 -08:00 |
|
d0cd
|
ed61457301
|
Merge pull request #28452 from ProvableHQ/fix/release-ci-linux-musl
[Fix] Ensure that linux-musl is downloaded.
|
2024-11-19 16:43:57 -08:00 |
|
Pranav Gaddamadugu
|
a6aa391546
|
Fix again
|
2024-11-19 16:43:00 -08:00 |
|
d0cd
|
8de9b3ad14
|
Merge pull request #28451 from ProvableHQ/fix/release-ci-linux-musl
[Fix] Rust image for Linux musl
|
2024-11-19 16:34:44 -08:00 |
|
Pranav Gaddamadugu
|
67e5b0e13e
|
Fix Rust checkout for Linux musl
|
2024-11-19 16:19:08 -08:00 |
|
Pranav Gaddamadugu
|
cc121171b3
|
chore(leo): bump version for new release
|
2024-11-19 16:06:21 -08:00 |
|
d0cd
|
8d316932c6
|
Merge pull request #28450 from ProvableHQ/fix/ci
[Fix] Minor fixes to Leo CI.
|
2024-11-19 14:39:14 -08:00 |
|
Pranav Gaddamadugu
|
b16d9ac667
|
More granularity on tracked changes
|
2024-11-19 10:59:29 -08:00 |
|
Pranav Gaddamadugu
|
53319d93dc
|
Make watched files in build script more granular
|
2024-11-19 10:54:14 -08:00 |
|
Pranav Gaddamadugu
|
4323c1e1ce
|
Fix
|
2024-11-19 08:25:40 -08:00 |
|
Pranav Gaddamadugu
|
2d15fb58be
|
Fix usage of cargo-mtime
|
2024-11-19 08:22:27 -08:00 |
|
Pranav Gaddamadugu
|
16b882be79
|
Minor tweaks
|
2024-11-19 08:18:06 -08:00 |
|
Pranav Gaddamadugu
|
c532c01e90
|
Attempt to sanitize mtimes
|
2024-11-19 08:10:07 -08:00 |
|
Pranav Gaddamadugu
|
216b52a570
|
Update examples
|
2024-11-19 07:53:35 -08:00 |
|
Pranav Gaddamadugu
|
82585fa7ce
|
Update examples CI script
|
2024-11-18 19:35:26 -08:00 |
|
Pranav Gaddamadugu
|
2bf7bfa34f
|
Update leo-executable CI
|
2024-11-18 19:32:21 -08:00 |
|
Pranav Gaddamadugu
|
b101f55106
|
Fix codecov CI
|
2024-11-18 19:27:16 -08:00 |
|
d0cd
|
bcdb1f57d2
|
Merge pull request #28443 from ProvableHQ/feat/analyzers
[Fix] Introduce `StaticAnalysis` pass and add checks on usage of async code for safety.
|
2024-11-18 08:13:30 -08:00 |
|
d0cd
|
166a3c32e6
|
Merge pull request #28440 from ProvableHQ/feat/cli-new-version-notification
[Feature] CLI Update Notification.
|
2024-11-15 07:23:58 -08:00 |
|
Pranav Gaddamadugu
|
ec67f3d0cc
|
Regen expectations
|
2024-11-14 16:11:30 -08:00 |
|
Pranav Gaddamadugu
|
87072d7958
|
Fix and pass tests
|
2024-11-14 15:19:41 -08:00 |
|
Pranav Gaddamadugu
|
f27d1573a2
|
Fix and regen some expectations
|
2024-11-14 07:23:34 -08:00 |
|
Pranav Gaddamadugu
|
d3b0780907
|
Add check for complex async call
|
2024-11-13 19:05:42 -08:00 |
|
Pranav Gaddamadugu
|
5501a405c2
|
Cleanup
|
2024-11-13 18:14:55 -08:00 |
|
Pranav Gaddamadugu
|
1379843a8f
|
Add check for futures awaited out of order
|
2024-11-13 18:13:22 -08:00 |
|
Pranav Gaddamadugu
|
b87a79d991
|
Introduce StaticAnalyzer pass; move future await checking to this pass
|
2024-11-13 16:35:55 -08:00 |
|
Pranav Gaddamadugu
|
bc848efba2
|
Address comments in review
|
2024-11-08 13:32:11 -08:00 |
|
Pranav Gaddamadugu
|
27630b8d37
|
Merge remote-tracking branch 'ungaro/alp/new-version-notification' into feat/cli-new-version-notification
|
2024-11-08 13:31:54 -08:00 |
|
d0cd
|
1e31a9045a
|
Merge pull request #28433 from ProvableHQ/shadowing
Disallow local variables from shadowing functions, structs, mappings,…
|
2024-11-06 18:54:50 -08:00 |
|
d0cd
|
333d3eb563
|
Merge pull request #28434 from ProvableHQ/long-ids
Update MSRV; disallow long IDs
|
2024-11-06 18:43:44 -08:00 |
|
d0cd
|
0178e67ca7
|
Merge pull request #28438 from ProvableHQ/fix/headers
[Fix] Update HTTP headers in Leo CLI.
|
2024-11-06 18:39:24 -08:00 |
|
Pranav Gaddamadugu
|
fe856e2cb9
|
Fix http headers
|
2024-11-06 13:50:16 -08:00 |
|
Michael Benfield
|
b66db0329e
|
Parse error on identifiers that are too long.
SnarkVM requires that identifiers fit in a field
element.
|
2024-11-06 08:32:26 -08:00 |
|