lean4-htt/tests/lake
Mac Malone 3c4440d3bc
feat: lake: JobAction.reuse & .unpack (#13423)
This PR adds `JobAction.reuse` and `JobAction.unpack` which provide more
information captions for what a job is doing for the build monitor.
`reuse` is set when using an artifact from the Lake cache, `unpack` is
set when unpacking module `.ltar` archives and release (Reservoir or
GitHub) archives.
2026-04-17 22:34:04 +00:00
..
examples feat: lake: fixedToolchain package configuration (#12935) 2026-03-17 02:37:55 +00:00
tests feat: lake: JobAction.reuse & .unpack (#13423) 2026-04-17 22:34:04 +00:00
.gitattributes
.gitignore
build.sh
clean-build.sh
lakefile.toml feat: lake: cached compressed module artifacts (#12914) 2026-03-16 04:36:19 +00:00
Makefile
time-build.sh