Skip to content

Conversation

mununki
Copy link
Member

@mununki mununki commented Dec 12, 2022

Sync #5900 PR to 10.1_release

@mununki
Copy link
Member Author

mununki commented Dec 12, 2022

@cknitt CI seems different from that the master has. Do I miss something to make a PR goes to 10.1_release?

@cknitt
Copy link
Member

cknitt commented Dec 13, 2022

Yes, in 10.1_release snapshotting is still required (regenerate and check in whole_compiler.ml etc.).

@mununki
Copy link
Member Author

mununki commented Dec 13, 2022

@cknitt Ah! that means adding the snapshot will resolve the CI fails? I'll add it.

@mununki mununki merged commit 50aa83e into 10.1_release Dec 14, 2022
@mununki mununki deleted the fix-empty-inlined-record-2 branch December 14, 2022 07:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants