Skip to content

chore(nargo): Remove old profile as part of info cmd#6406

Merged
vezenovm merged 1 commit intomasterfrom
mv/remove-old-profiling
Oct 30, 2024
Merged

chore(nargo): Remove old profile as part of info cmd#6406
vezenovm merged 1 commit intomasterfrom
mv/remove-old-profiling

Commits

Commits on Oct 30, 2024