2022-01-21 10:21:46 -08:00
|
|
|
[workspace]
|
|
|
|
members = [
|
2023-02-20 05:08:38 -08:00
|
|
|
"bin/*",
|
2022-12-08 04:42:35 -08:00
|
|
|
"programs/mango-v4",
|
2022-06-18 07:31:28 -07:00
|
|
|
"lib/*",
|
2022-01-21 10:21:46 -08:00
|
|
|
]
|
2022-06-18 07:31:28 -07:00
|
|
|
|
2023-02-05 23:33:08 -08:00
|
|
|
[profile.release]
|
|
|
|
overflow-checks = true
|
|
|
|
|
2022-06-18 07:31:28 -07:00
|
|
|
[patch.crates-io]
|
|
|
|
# for gzip encoded responses
|
2022-07-25 07:07:53 -07:00
|
|
|
jsonrpc-core-client = { git = "https://github.com/ckamm/jsonrpc.git", branch = "ckamm/http-with-gzip" }
|