Skip to content

Make project strict and add project_aux for aux derivation - #218

Merged
mtfishman merged 1 commit into
mainfrom
mf/project-aux-interface
Aug 3, 2026
Merged

Make project strict and add project_aux for aux derivation#218
mtfishman merged 1 commit into
mainfrom
mf/project-aux-interface

Make `project` strict and add `project_aux` for aux derivation

376d89f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar