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