- 28 May, 2022 1 commit
-
-
Antoine Kaufmann authored
-
- 26 May, 2022 4 commits
-
-
Antoine Kaufmann authored
-
Antoine Kaufmann authored
Remove the ubuntu1804 image. Base only has basic tools, no build tools or libraries. Install build deps in nopaxos, mtcp, and tas images.
-
Antoine Kaufmann authored
This speeds up base image build significantly
-
Antoine Kaufmann authored
Just run different scripts inside. This avodis lots of duplication in the jsons.
-
- 17 Jan, 2022 1 commit
-
-
Antoine Kaufmann authored
-