Add pipeline tag

#1
by nielsr HF staff - opened

This PR adds the appropriate pipeline tag.

HaoyiZhu changed pull request status to merged

Sign up or log in to comment