Skip to content

Add-version-flag-and-embed-build-metadata-in-the-CLI-binary #453

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
bakarezainab wants to merge 16 commits into
base: main
Choose a base branch
from
Open

Add-version-flag-and-embed-build-metadata-in-the-CLI-binary #453

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
310fab8
Add-version-flag-and-embed-build-metadata-in-the-CLI-binary
bakarezainab Mar 28, 2026
41c747d
Merge branch 'main' into Add-version-flag-and-embed-build-metadata-in…
bakarezainab Mar 28, 2026
2c8f8fd
style: run cargo fmt
bakarezainab Mar 28, 2026
9083165
cargo-clippy-fix
bakarezainab Mar 28, 2026
ae92d20
style: run cargo fmt
bakarezainab Mar 28, 2026
12cf993
fix(cli): remove empty line after command attribute to satisfy clippy
bakarezainab Mar 28, 2026
e0a8fce
fixes
bakarezainab Mar 29, 2026
1e4b7b7
fix cli
bakarezainab Mar 29, 2026
ca500cb
fix-cli-
bakarezainab Mar 29, 2026
3ebc7e9
chore: format workspace
bakarezainab Mar 29, 2026
d266aa6
fix: correct dependencies and CI toolchain for WASM
bakarezainab Mar 29, 2026
a9d983f
fix: dynamic Z3 path for Windows CI
bakarezainab Mar 29, 2026
12452e3
fix: correct Z3 search on Windows CI
bakarezainab Mar 29, 2026
c9aeb80
Merge branch 'main' into Add-version-flag-and-embed-build-metadata-in…
bakarezainab Mar 29, 2026
1934c0b
Merge branch 'main' into Add-version-flag-and-embed-build-metadata-in…
bakarezainab May 29, 2026
9d778e3
Merge branch 'main' into Add-version-flag-and-embed-build-metadata-in…
bakarezainab Jun 2, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
14 changes: 12 additions & 2 deletions .github/workflows/ci.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -28,6 +28,7 @@ jobs:
uses: dtolnay/rust-toolchain@stable
with:
components: rustfmt, clippy
targets: wasm32-unknown-unknown

- name: Install WASM target
run: rustup target add wasm32-unknown-unknown
Expand Down Expand Up @@ -64,8 +65,17 @@ jobs:
if: runner.os == 'Windows'
run: |
choco install z3 -y
echo "Z3_SYS_Z3_HEADER=C:\ProgramData\chocolatey\lib\z3\tools\include\z3.h" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
echo "LIB=C:\ProgramData\chocolatey\lib\z3\tools\lib;$env:LIB" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
$z3_h = (Get-ChildItem -Path C:\ProgramData\chocolatey\lib\z3 -Filter z3.h -Recurse | Select-Object -First 1).FullName
if ($z3_h) {
$z3_root = Split-Path (Split-Path $z3_h)
echo "Z3_SYS_Z3_HEADER=$z3_h" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
echo "LIB=$z3_root\lib;$env:LIB" | Out-File -FilePath $env:GITHUB_ENV -Encoding utf8 -Append
Write-Host "Found Z3 header at: $z3_h"
Write-Host "Found Z3 lib dir at: $z3_root\lib"
} else {
Write-Error "Could not find z3.h in Chocolatey package directory"
exit 1
}

- name: Install system dependencies (Linux only)
if: runner.os == 'Linux'
Expand Down
105 changes: 75 additions & 30 deletions Cargo.lock
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

16 changes: 2 additions & 14 deletions ...ts/amm-pool/test_snapshots/add_liquidity_initializes_pool_and_locks_minimum_supply.1.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,7 @@
[]
],
"ledger": {
"protocol_version": 21,
"protocol_version": 20,
"sequence_number": 0,
"timestamp": 0,
"network_id": "0000000000000000000000000000000000000000000000000000000000000000",
Expand Down Expand Up @@ -147,18 +147,6 @@
"lo": 6000
}
}
},
{
"key": {
"vec": [
{
"symbol": "Version"
}
]
},
"val": {
"u32": 1
}
}
]
}
Expand Down Expand Up @@ -200,7 +188,7 @@
},
"ext": "v0"
},
6311999
15
]
],
[
Expand Down
18 changes: 3 additions & 15 deletions contracts/amm-pool/test_snapshots/add_liquidity_mints_proportional_lp_tokens.1.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -86,7 +86,7 @@
]
],
"ledger": {
"protocol_version": 21,
"protocol_version": 20,
"sequence_number": 0,
"timestamp": 0,
"network_id": "0000000000000000000000000000000000000000000000000000000000000000",
Expand Down Expand Up @@ -186,18 +186,6 @@
"lo": 9000
}
}
},
{
"key": {
"vec": [
{
"symbol": "Version"
}
]
},
"val": {
"u32": 1
}
}
]
}
Expand Down Expand Up @@ -239,7 +227,7 @@
},
"ext": "v0"
},
6311999
15
]
],
[
Expand Down Expand Up @@ -272,7 +260,7 @@
},
"ext": "v0"
},
6311999
15
]
],
[
Expand Down
4 changes: 2 additions & 2 deletions ...amm-pool/test_snapshots/add_liquidity_rejects_initial_deposit_below_locked_minimum.1.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@
]
],
"ledger": {
"protocol_version": 21,
"protocol_version": 20,
"sequence_number": 0,
"timestamp": 0,
"network_id": "0000000000000000000000000000000000000000000000000000000000000000",
Expand Down Expand Up @@ -117,7 +117,7 @@
},
"ext": "v0"
},
6311999
15
]
],
[
Expand Down
4 changes: 2 additions & 2 deletions contracts/amm-pool/test_snapshots/add_liquidity_rejects_zero_amounts.1.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -46,7 +46,7 @@
]
],
"ledger": {
"protocol_version": 21,
"protocol_version": 20,
"sequence_number": 0,
"timestamp": 0,
"network_id": "0000000000000000000000000000000000000000000000000000000000000000",
Expand Down Expand Up @@ -117,7 +117,7 @@
},
"ext": "v0"
},
6311999
15
]
],
[
Expand Down
16 changes: 2 additions & 14 deletions contracts/amm-pool/test_snapshots/get_price_rejects_unknown_pair.1.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -47,7 +47,7 @@
[]
],
"ledger": {
"protocol_version": 21,
"protocol_version": 20,
"sequence_number": 0,
"timestamp": 0,
"network_id": "0000000000000000000000000000000000000000000000000000000000000000",
Expand Down Expand Up @@ -147,18 +147,6 @@
"lo": 6000
}
}
},
{
"key": {
"vec": [
{
"symbol": "Version"
}
]
},
"val": {
"u32": 1
}
}
]
}
Expand Down Expand Up @@ -200,7 +188,7 @@
},
"ext": "v0"
},
6311999
15
]
],
[
Expand Down
16 changes: 2 additions & 14 deletions contracts/amm-pool/test_snapshots/get_price_uses_integer_arithmetic_only.1.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -48,7 +48,7 @@
[]
],
"ledger": {
"protocol_version": 21,
"protocol_version": 20,
"sequence_number": 0,
"timestamp": 0,
"network_id": "0000000000000000000000000000000000000000000000000000000000000000",
Expand Down Expand Up @@ -148,18 +148,6 @@
"lo": 4950
}
}
},
{
"key": {
"vec": [
{
"symbol": "Version"
}
]
},
"val": {
"u32": 1
}
}
]
}
Expand Down Expand Up @@ -201,7 +189,7 @@
},
"ext": "v0"
},
6311999
15
]
],
[
Expand Down
Loading
Loading