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