9 Commits (8678923ca2cf0534e2f43413ef5306e555aa57c2)

Author SHA1 Message Date
Pratik raj 9d49fd5c60 Use `--depth` flag to `git clone` in Dockerfiles, to save space (#1341)
4 years ago
Jaehwang Jerry Jung 4f571cc95c [infer][PR] add patchelf back to master/Dockerfile
4 years ago
Jules Villard 2a68099640 add `make install-with-libs` back
5 years ago
Anton Kochkov cab87cd234 [infer][PR] Update base for Docker, remove python2
5 years ago
Sungkeun Cho eb85a9b322 [infer] Update docker build script
5 years ago
Anton Kochkov 64d3abaa24 [infer][PR] Update opam in Dockerfiles
5 years ago
Jesús Marín bef697c50e [infer][PR] Improvements in docker container generation
6 years ago
Anton Kochkov 319440dfd7 [infer][PR] Update opam version in Docker for master
6 years ago
Jules Villard 16c0c03050 resource leaks tutorial
6 years ago