mirror of
https://github.com/NicolasBohn/NexQuant.git
synced 2026-08-03 02:17:43 +00:00
31752bb8f0
* merge failed and successful traces together * delete the task description from the trace display * prune unnecessary info for the proposal stage