Skip to content

Activate CI on PRs#1804

Closed
jrapin wants to merge 2 commits intomainfrom
ci/pr
Closed

Activate CI on PRs#1804
jrapin wants to merge 2 commits intomainfrom
ci/pr

Conversation

@jrapin
Copy link
Contributor

@jrapin jrapin commented Jan 14, 2026

No description provided.

@meta-cla meta-cla bot added the CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed. label Jan 14, 2026
@jrapin jrapin closed this Jan 14, 2026
@jrapin jrapin deleted the ci/pr branch January 14, 2026 13:07
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

CLA Signed This label is managed by the Facebook bot. Authors need to sign the CLA before a PR can be reviewed.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant