PR #2440 adding vector add to CI

adding vector add to CI #2440

adamomainz wants to merge 1 commit into main from export-D61819148

facebook-github-bot added cla signed

facebook-github-bot added fb-exported

adding vector add to CI (#2440)

1597e0a1

facebook-github-bot force pushed from 16d2a498 to 1597e0a1 1 year ago

Reviewers

No reviews

Assignees

No one assigned

Labels

cla signed fb-exported

Milestone

No milestone