aboutsummaryrefslogtreecommitdiffstats
path: root/commands/execenv
Commit message (Collapse)AuthorAgeFilesLines
* commands: add a nice terminal progress bar when building the cacheMichael Muré2023-01-112-12/+58
| | | | One issue remaining is that writing the cache takes significant time, but I don't know how to reflect that nicely to the user.
* commands: share JSON creationMichael Muré2022-12-292-0/+21
|
* commands: don't double build the lamport clocksMichael Muré2022-12-291-3/+4
|
* cache: simplify cache building events handlingMichael Muré2022-12-271-6/+2
|
* cache: tie the last printf in an event to make the core print freeMichael Muré2022-12-271-13/+12
|
* cache: fix some bugs after refactorMichael Muré2022-12-232-17/+12
|
* cache: generic withSnapshot, some cleanupMichael Muré2022-12-221-4/+4
|
* cache: tie up the refactor up to compilingMichael Muré2022-12-211-2/+7
|
* WIPMichael Muré2022-12-191-1/+20
|
* commands: reorg into different packagesMichael Muré2022-11-202-0/+239