Manuel Weber

Repositories Projects Packages

1

Public activity Starred repositories

type (sha256:9eefe12d13fe9ffe4866c6bdec0afc4237571edc8c3c40ea1a8c1d35356946ac)

Published 2026-05-14 12:43:32 +02:00 by weber

Installation

Pull the image from the command line:

docker pull git.heiserer.de/weber/type@sha256:9eefe12d13fe9ffe4866c6bdec0afc4237571edc8c3c40ea1a8c1d35356946ac

Digest

sha256:9eefe12d13fe9ffe4866c6bdec0afc4237571edc8c3c40ea1a8c1d35356946ac

For more information on the Container registry, see the documentation.

Image layers

ARG RELEASE

ARG LAUNCHPAD_BUILD_ARCH

LABEL org.opencontainers.image.version=24.04

ADD file:8ce1caf246e7c778bca84c516d02fd4e83766bb2c530a0fffa8a351b560a2728 in /

CMD ["/bin/bash"]

RUN /bin/sh -c apt-get update && apt-get install -y --no-install-recommends bash ca-certificates clang git libc6 llvm nodejs && rm -rf /var/lib/apt/lists/* # buildkit

WORKDIR /opt/type

COPY /tmp/type-compiler /usr/local/bin/type-compiler # buildkit

COPY /tmp/type-compiler.ll /opt/type/type-compiler.ll # buildkit

COPY ci ci # buildkit

Labels

Key	Value
org.opencontainers.image.created	2026-05-14T10:43:31.534Z
org.opencontainers.image.description
org.opencontainers.image.licenses
org.opencontainers.image.revision	0d3eeeceacd157ef4d13e241867f19b5b3618426
org.opencontainers.image.source	https://git.heiserer.de/weber/type
org.opencontainers.image.title	type
org.opencontainers.image.url	https://git.heiserer.de/weber/type
org.opencontainers.image.version	bob-native_tests_subagents

Details

Container

2026-05-14 12:43:32 +02:00

0

OCI / Docker

linux/amd64

Project website

Repository website

222 MiB

Versions (165) View all

master 2026-07-11

latest 2026-07-11

sha-a33ec19 2026-07-11

sha-08670df 2026-07-11

sha-ebb063c 2026-07-11