Pranav Gaddamadugu
2cd150039b
More cleanup
2024-10-23 22:14:49 -07:00
Pranav Gaddamadugu
94dab70da8
Update deps
2024-10-23 13:30:50 -07:00
Pranav Gaddamadugu
2f275b797d
Update cache keys
2024-10-23 12:19:42 -07:00
dependabot[bot]
0cda2c20be
Bump thiserror from 1.0.64 to 1.0.65
...
Bumps [thiserror](https://github.com/dtolnay/thiserror ) from 1.0.64 to 1.0.65.
- [Release notes](https://github.com/dtolnay/thiserror/releases )
- [Commits](https://github.com/dtolnay/thiserror/compare/1.0.64...1.0.65 )
---
updated-dependencies:
- dependency-name: thiserror
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2024-10-23 11:15:33 -07:00
dependabot[bot]
f2d038e6b7
Bump serde from 1.0.211 to 1.0.213
...
Bumps [serde](https://github.com/serde-rs/serde ) from 1.0.211 to 1.0.213.
- [Release notes](https://github.com/serde-rs/serde/releases )
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.211...v1.0.213 )
---
updated-dependencies:
- dependency-name: serde
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2024-10-23 10:47:44 -07:00
dependabot[bot]
acfe23423b
Bump anyhow from 1.0.90 to 1.0.91
...
Bumps [anyhow](https://github.com/dtolnay/anyhow ) from 1.0.90 to 1.0.91.
- [Release notes](https://github.com/dtolnay/anyhow/releases )
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.90...1.0.91 )
---
updated-dependencies:
- dependency-name: anyhow
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2024-10-23 10:47:12 -07:00
d0cd
114e215777
Merge pull request #28413 from ProvableHQ/extra-lines
...
Consistently make 1 empty line between output items in codegen.
2024-10-22 18:20:18 -07:00
Pranav Gaddamadugu
aa644a01da
More cleanup
2024-10-22 18:14:34 -07:00
Pranav Gaddamadugu
3a348db313
Clean up Codecov to use Rust cache
2024-10-22 18:13:33 -07:00
Pranav Gaddamadugu
fa0b3ffff7
Clean up docs workflow
2024-10-22 18:12:22 -07:00
Pranav Gaddamadugu
2ab9ed04eb
Try only_testnet feature
2024-10-22 16:52:43 -07:00
Pranav Gaddamadugu
421af95c17
Try new configs
2024-10-22 16:49:32 -07:00
dependabot[bot]
a15db14c01
Bump anyhow from 1.0.89 to 1.0.90
...
Bumps [anyhow](https://github.com/dtolnay/anyhow ) from 1.0.89 to 1.0.90.
- [Release notes](https://github.com/dtolnay/anyhow/releases )
- [Commits](https://github.com/dtolnay/anyhow/compare/1.0.89...1.0.90 )
---
updated-dependencies:
- dependency-name: anyhow
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2024-10-22 16:19:32 -07:00
dependabot[bot]
7b44b60d4c
Bump serde from 1.0.210 to 1.0.211
...
Bumps [serde](https://github.com/serde-rs/serde ) from 1.0.210 to 1.0.211.
- [Release notes](https://github.com/serde-rs/serde/releases )
- [Commits](https://github.com/serde-rs/serde/compare/v1.0.210...v1.0.211 )
---
updated-dependencies:
- dependency-name: serde
dependency-type: direct:production
update-type: version-update:semver-patch
...
Signed-off-by: dependabot[bot] <support@github.com>
2024-10-22 16:18:40 -07:00
Pranav Gaddamadugu
ed9ee58582
Update size of linux executor
2024-10-22 14:54:52 -07:00
Pranav Gaddamadugu
0eab7078d8
Debug
2024-10-22 14:53:12 -07:00
Pranav Gaddamadugu
7341d1c25f
Debug
2024-10-22 14:47:05 -07:00
Pranav Gaddamadugu
a54ebe15b8
Fix
2024-10-22 14:40:35 -07:00
Pranav Gaddamadugu
fc6492f11d
More fixes
2024-10-22 14:33:23 -07:00
Pranav Gaddamadugu
2910107e03
Fix
2024-10-22 14:03:08 -07:00
Pranav Gaddamadugu
af81858809
More fixes
2024-10-22 14:01:08 -07:00
Pranav Gaddamadugu
ed068e1636
More fixes
2024-10-22 13:59:21 -07:00
Pranav Gaddamadugu
f961092a03
More updates
2024-10-22 13:51:11 -07:00
Pranav Gaddamadugu
0a0f38a640
More fixes
2024-10-22 13:45:26 -07:00
Pranav Gaddamadugu
dfd81a53c8
More fixes
2024-10-22 13:41:12 -07:00
Pranav Gaddamadugu
4393fff45e
CI fixes
2024-10-22 13:24:14 -07:00
Pranav Gaddamadugu
031a9ba415
Set MSRV
2024-10-22 13:14:23 -07:00
Pranav Gaddamadugu
48bb152072
Remove workflows
2024-10-22 11:48:28 -07:00
Pranav Gaddamadugu
fd9f74fe34
Add Linux and MacOS CI
2024-10-22 11:46:39 -07:00
Pranav Gaddamadugu
a016d51bba
More improvements to Windows CI
2024-10-22 10:10:59 -07:00
Pranav Gaddamadugu
15e2bc5d8b
Enable better caching
2024-10-22 09:52:20 -07:00
Pranav Gaddamadugu
85be7ba3b8
Update CI
2024-10-22 08:46:12 -07:00
Pranav Gaddamadugu
93d3c9302b
Optimize
2024-10-22 08:06:54 -07:00
Pranav Gaddamadugu
54c358e46e
Enable LTO in testing
2024-10-21 18:59:50 -07:00
Pranav Gaddamadugu
6419f95d92
Extend no_output_timeout
2024-10-21 18:34:03 -07:00
Pranav Gaddamadugu
1d06a2a54e
Fix accidental omission
2024-10-21 18:31:49 -07:00
Pranav Gaddamadugu
3751961888
Move integration tests under one module
2024-10-21 18:26:17 -07:00
d0cd
7174084836
Merge pull request #28412 from ProvableHQ/test-format
...
Test format
2024-10-21 17:16:36 -07:00
Michael Benfield
da8ef9b779
Consistently make 1 empty line between output items in codegen.
2024-10-21 17:00:21 -07:00
Michael Benfield
b4f28bf692
Don't hash bytecode output for tests.
2024-10-21 16:19:31 -07:00
Michael Benfield
6694e058c4
Switch to TOML for tests instead of YAML.
2024-10-21 16:08:46 -07:00
Pranav Gaddamadugu
8a3f69381e
Fix
2024-10-21 15:36:16 -07:00
Pranav Gaddamadugu
33168c1e7a
Update CI conf
2024-10-21 15:27:11 -07:00
Pranav Gaddamadugu
9216da8dab
Fix windows
2024-10-21 15:06:30 -07:00
Pranav Gaddamadugu
77598df08e
Add windows integration tests to CircleCI
2024-10-21 14:42:23 -07:00
d0cd
64445fb113
Merge pull request #28404 from ProvableHQ/remove-expectations
...
Remove unused '.out' expectations files.
2024-10-20 14:03:43 -07:00
d0cd
2fb29aaf5b
Merge pull request #28407 from ProvableHQ/args
...
More cli fixes.
2024-10-20 14:03:20 -07:00
Michael Benfield
13c145b22d
More cli fixes.
2024-10-18 15:23:10 -07:00
d0cd
86783da7c6
Merge pull request #28392 from ProvableHQ/ifelse
...
Improve handling of guards while flattening.
2024-10-18 14:09:09 -07:00
Michael Benfield
8863974fea
Remove unused '.out' expectations files.
...
A couple of these seem to have been inadvertently left behind
in switching away from the finalize syntax. Others never had a
corresponding '.leo' test.
2024-10-17 16:01:01 -07:00
