Skip to content

Conversation

@lf-
Copy link
Contributor

@lf- lf- commented Oct 1, 2025

Includes my other two PRs.

@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 Oct 1, 2025
@netlify
Copy link

netlify bot commented Oct 1, 2025

Deploy Preview for fb-oss-glean canceled.

Name Link
🔨 Latest commit 699361c
🔍 Latest deploy log https://app.netlify.com/projects/fb-oss-glean/deploys/68f4fe1b785972000801940f

@lf- lf- force-pushed the jade/push-pukmxuwlsqyl branch from d437f4d to 182c826 Compare October 1, 2025 21:50
@meta-codesync
Copy link
Contributor

meta-codesync bot commented Oct 16, 2025

@kbojarczuk has imported this pull request. If you are a Meta employee, you can view this in D84808442.

@lf- lf- force-pushed the jade/push-pukmxuwlsqyl branch 3 times, most recently from 9657f16 to cb16dd6 Compare October 19, 2025 14:57
lf- added 3 commits October 19, 2025 08:04
There's a new symbol show from text which conflicts with the prelude's
show.
N.B. This has only been tried on nixpkgs staging and Mercury's internal
package set, but the indexer and demo seem to work. Haven't tried the
test suite.
@lf- lf- force-pushed the jade/push-pukmxuwlsqyl branch from cb16dd6 to 699361c Compare October 19, 2025 15:04
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