Closed eric-wieser closed 1 year ago
Notably this ensures a version of ubuntu on which lake exe cache works.
lake exe cache
In addition to what mathlib4 needs, this installs the relevant C++ compiler tools and the jq command line.
jq
Notably this ensures a version of ubuntu on which
lake exe cache
works.In addition to what mathlib4 needs, this installs the relevant C++ compiler tools and the
jq
command line.