Skip to content

Allow compilation of a <file>:<module> via --add-module. - #990

Merged
automergerpr-permission-manager[bot] merged 6 commits into
masterfrom
mk/lemmas-conditional-compilation
Apr 2, 2026
Merged

Allow compilation of a <file>:<module> via --add-module.#990
automergerpr-permission-manager[bot] merged 6 commits into
masterfrom
mk/lemmas-conditional-compilation

Use active haskell target for add-module parsing

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

Annotations

1 warning

The logs for this run have expired and are no longer available.