Skip to content

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

Merged
jcai19 merged 1 commit intollvm:mainfrom
jcai19:mlir-docs
Jul 17, 2025
Merged

[mlir][docs] Rename OpTrait to Trait in ODS doc#148276
jcai19 merged 1 commit intollvm:mainfrom
jcai19:mlir-docs

Commits

Commits on Jul 17, 2025