Files
Simon Scatton e21b7fd8cf chore(build): remove bundled Z3 support (#3275)
* chore(build): remove bundled Z3 support

Signed-off-by: Simon Scatton <sscatton@nvidia.com>
Signed-off-by: Piotr Mlocek <pmlocek@nvidia.com>

* fix(build): preserve vendored Z3 for local gateway artifacts

Signed-off-by: Simon Scatton <sscatton@nvidia.com>

---------

Signed-off-by: Simon Scatton <sscatton@nvidia.com>
Signed-off-by: Piotr Mlocek <pmlocek@nvidia.com>
2026-10-01 12:08:33 +00:00

82 lines
1.9 KiB
TOML

# SPDX-FileCopyrightText: Copyright (c) 2025-2026 NVIDIA CORPORATION & AFFILIATES. All rights reserved.
# SPDX-License-Identifier: Apache-2.0
# CI, build, and quality tasks
[build]
description = "Build the whole project"
depends = ["build:rust:workspace", "build:docker", "build:python:wheel"]
["build:rust"]
description = "Alias for build:rust:workspace"
depends = ["build:rust:workspace"]
hide = true
["build:rust:workspace"]
description = "Build all Rust crates"
run = "cargo build --workspace"
hide = true
["build:release"]
description = "Alias for build:rust:workspace:release"
depends = ["build:rust:workspace:release"]
hide = true
["build:rust:workspace:release"]
description = "Build all Rust crates in release mode"
run = "cargo build --workspace --release"
hide = true
["build:rust:snap"]
description = "Build release Rust binaries consumed by the hand-staged snap"
run = [
"cargo build --release -p openshell-cli",
"cargo build --release -p openshell-gateway",
"cargo build --release -p openshell-sandbox",
]
[check]
description = "Run fast compile and type checks"
depends = ["rust:check", "python:typecheck", "sdk:ts:typecheck"]
hide = true
[clean]
description = "Clean build artifacts"
run = "cargo clean"
[fmt]
description = "Format code"
depends = ["rust:format", "python:format", "markdown:format", "sdk:ts:format"]
hide = true
[lint]
description = "Run repository lint checks"
depends = [
"license:check",
"rust:format:check",
"rust:lockfiles:check",
"rust:lint",
"python:format:check",
"python:lint",
"helm:lint",
"helm:docs:check",
"markdown:lint",
"proto:lint",
"sdk:ts:lint",
]
hide = true
[ci]
description = "Run full checks (lint, compile/type checks, and tests)"
depends = ["lint", "check", "test", "go:ci", "rust:deny:policy"]
[all]
description = "Alias for ci"
depends = ["ci"]
hide = true
["pre-commit"]
description = "Run lint, formatting, and license checks"
depends = ["fmt", "lint"]
hide = true