Skip to content

Make --tools optional when using traces/mined#3

Merged
kelkalot merged 1 commit into
mainfrom
fix/optional-tools
Jul 4, 2026
Merged

Make --tools optional when using traces/mined#3
kelkalot merged 1 commit into
mainfrom
fix/optional-tools

Make --tools optional when using traces/mined

232b330
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
test
succeeded Jul 4, 2026 in 45s