Commits

History for

Commits on Sep 25, 2025

Dockerfiles: install `clang` for `make cose-extracted-test`
tahina-pro
committed

Commits on Sep 10, 2025

also push a Docker image to GitHub Packages
tahina-pro
committed

Commits on Sep 4, 2025

integrate dependency build with `make`, with customization knobs
tahina-pro
committed

Commits on Sep 2, 2025

backport Dockerfiles from ccs2025
tahina-pro
committed

Commits on Aug 26, 2025

Commits on Aug 23, 2025

Dockerfiles: build 3 stages, deps, all and test
tahina-pro
committed
git.Dockerfile: allow specifying branch, recurse submodules
tahina-pro
committed
install opam packages within `make -C opt` and local opam root, automate environment
tahina-pro
committed

Commits on Aug 6, 2025

Dockerfile: build all of EverParse, finally
tahina-pro
committed

Commits on Jul 22, 2025

Commits on Jul 16, 2025

remove old CI remnants, Dockerfiles should not depend on them
tahina-pro
committed

Commits on May 27, 2025

apt-get update before installing opam packages
tahina-pro
committed

Commits on May 23, 2025

Commits on May 22, 2025

Dockerfile: install cmake
tahina-pro
committed

Commits on May 13, 2025

Commits on May 12, 2025

a Dockerfilw with `RUN git clone` instead of `ADD`
tahina-pro
committed

Loading