Skip to content

[mlir][docs] Rename OpTrait to Trait in ODS doc#148267

Closed
jcai19 wants to merge 1 commit intollvm:mainfrom
jcai19:mlir
Closed

[mlir][docs] Rename OpTrait to Trait in ODS doc#148267
jcai19 wants to merge 1 commit intollvm:mainfrom
jcai19:mlir

Commits

Commits on Jul 11, 2025