Skip to content

AGENTS.md: name pyre-module in the cargo test command, and record the module-ownership criteria - #1970

Merged
youknowone merged 1 commit into
mainfrom
gate-math
Sep 27, 2026
Merged

AGENTS.md: name pyre-module in the cargo test command, and record the module-ownership criteria#1970
youknowone merged 1 commit into
mainfrom
gate-math

Name pyre-module in AGENTS.md's prescribed cargo test command

50d5174
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar