Commits

History for

Commits on Feb 28, 2023

fixed dockerfile builds (#1734)

whoismissing
authored and
facebook-github-bot
committed

Commits on Sep 22, 2021

rename master branch to main on GitHub

jvillard
authored and
facebook-github-bot
committed

Commits on Aug 6, 2021

[docker] update Dockerfiles

jvillard
authored and
facebook-github-bot
committed

Commits on Nov 13, 2020

Use `--depth` flag to `git clone` in Dockerfiles, to save space (#1341)

rajpratik71
authored and
facebook-github-bot
committed

Commits on Apr 1, 2020

[infer][PR] Update base for Docker, remove python2

XVilka
authored and
facebook-github-bot
committed

Commits on Mar 11, 2020

[RFC][build] Use dune environments and profiles instead of contexts

artempyanykh
authored and
facebook-github-bot
committed

Commits on Nov 14, 2019

[infer][PR] Update opam in Dockerfiles

XVilka
authored and
facebook-github-bot
committed

Commits on Jan 21, 2019

[lab] fix issues discovered during POPL tutorial

jvillard
authored and
facebook-github-bot
committed

Commits on Jan 14, 2019

[labs] fiddling

jvillard
authored and
facebook-github-bot
committed
resource leaks tutorial

jvillard
authored and
facebook-github-bot
committed

Loading