An extremely fast Python type checker and language server, written in Rust.
docker pull astral-sh/ty:latest
docker run -d --name ty --restart always astral-sh/ty:latest
podman run -d --name ty --restart always astral-sh/ty:latest
skopeo inspect docker://docker.io/astral-sh/ty:latest
oras pull astral-sh/ty:latest
FROM --platform=$BUILDPLATFORM ghcr.io/astral-sh/uv:0.13.4@sha256:9f130421e930bfbdc563c00740466603f8723158e90297d07957c2294640262b AS uv
FROM --platform=$BUILDPLATFORM ubuntu AS build-tools
ENV HOME="/root"
WORKDIR $HOME
RUN apt update && apt install -y build-essential curl
# Install uv
COPY --from=uv /uv /usr/local/bin/uv
# Setup zig as cross compiling linker
COPY pyproject.toml uv.lock ./
RUN uv sync --only-group docker --locked
ENV PATH="$HOME/.venv/bin:$PATH"
FROM build-tools AS build
# Change to the ruff directory, which is the root for our build
WORKDIR $HOME/ruff
# Install rust
ARG TARGETPLATFORM
RUN case "$TARGETPLATFORM" in \
"linux/arm64") echo "aarch64-unknown-linux-musl" > rust_target.txt ;; \
"linux/amd64") echo "x86_64-unknown-linux-musl" > rust_target.txt ;; \
*) exit 1 ;; \
esac
COPY ruff/rust-toolchain.toml rust-toolchain.toml
ARG RUSTUP_VERSION=1.29.2
RUN curl --proto '=https' --tlsv1.2 -sSf \
"https://static.rust-lang.org/rustup/archive/${RUSTUP_VERSION}/$(uname -m)-unknown-linux-gnu/rustup-init" \
-o rustup-init \
&& chmod +x rustup-init \
&& ./rustup-init -y --target $(cat rust_target.txt) --profile minimal --default-toolchain none \
&& rm rustup-init
ENV PATH="$HOME/.cargo/bin:$PATH"
# Installs the correct toolchain version from rust-toolchain.toml and then the musl target
RUN rustup target add $(cat rust_target.txt)
# Build
COPY ruff/crates crates
COPY ruff/Cargo.toml Cargo.toml
COPY ruff/Cargo.lock Cargo.lock
COPY dist-workspace.toml ../dist-workspace.toml
RUN cargo zigbuild --bin ty --target $(cat rust_target.txt) --release
RUN cp target/$(cat rust_target.txt)/release/ty /ty
# TODO: Optimize binary size, with a version that also works when cross compiling
# RUN strip --strip-all /ty
FROM scratch
COPY --from=build /ty /ty
WORKDIR /io
ENTRYPOINT ["/ty"]