Add pipeline tag

#1
by nielsr HF staff - opened

This PR adds the appropriate pipeline tag.

HaoyiZhu changed pull request status to merged
Your need to confirm your account before you can post a new comment.

Sign up or log in to comment