diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-30T16·53+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-07T15·25+0000 |
commit | 727845645d4b6032e6b16dcfa997e14da9806084 (patch) | |
tree | 86c7560e9dcf01f1f0bac54882bab0dbbb5f3503 /corp/website | |
parent | 79a2ba51752da188323ecf53d7b55fc5bedc003a (diff) |
chore(tvix/eval): add release-with-debug cargo profile r/4698
This lets us create a release build with debug info, for use with e.g. perf + hotspot Change-Id: I03897de36c872d318abf1332ca0c1aeabe344ec6 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6362 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'corp/website')
0 files changed, 0 insertions, 0 deletions