Skip to content

Keep tactic modules out of the executable's import closure - #45

Merged
chriseth merged 1 commit into
powdr-labs:mainfrom
chris-ai1:tactic-free-executable
Aug 5, 2026
Merged

Keep tactic modules out of the executable's import closure#45
chriseth merged 1 commit into
powdr-labs:mainfrom
chris-ai1:tactic-free-executable

Keep tactic modules out of the executable's import closure

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

Annotations

1 warning
Build & check
succeeded Aug 5, 2026 in 1m 7s