Labelling new pull requests

[MLIR][Interfaces] Extend the SymbolUserOpInterface with getUserSymbol #17

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
greeter	0s
automate-prs-labels	0s
	0s