Skip to content

Conversation

@qinsoon
Copy link
Member

@qinsoon qinsoon commented Jan 23, 2024

@qinsoon qinsoon requested a review from udesou January 23, 2024 07:20
Copy link
Contributor

@udesou udesou left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

@qinsoon qinsoon added the backport-v1.9.2+RAI Backport the change to the branch v1.9.2+RAI label Jan 23, 2024
@qinsoon qinsoon merged commit b40af34 into mmtk:master Jan 23, 2024
mergify bot pushed a commit that referenced this pull request Jan 23, 2024
udesou added a commit to udesou/mmtk-julia that referenced this pull request Jan 24, 2024
qinsoon added a commit that referenced this pull request Jan 24, 2024
…120)

This is an automatic backport of pull request #117 done by
[Mergify](https://mergify.com).


---


<details>
<summary>Mergify commands and options</summary>

<br />

More conditions and actions can be found in the
[documentation](https://docs.mergify.com/).

You can also trigger Mergify actions by commenting on this pull request:

- `@Mergifyio refresh` will re-evaluate the rules
- `@Mergifyio rebase` will rebase this PR on its base branch
- `@Mergifyio update` will merge the base branch into this PR
- `@Mergifyio backport <destination>` will backport this PR on
`<destination>` branch

Additionally, on Mergify [dashboard](https://dashboard.mergify.com) you
can:

- look at your merge queues
- generate the Mergify configuration with the config editor.

Finally, you can contact us on https://mergify.com
</details>

---------

Co-authored-by: Yi Lin <[email protected]>
Co-authored-by: Eduardo Souza <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport-v1.9.2+RAI Backport the change to the branch v1.9.2+RAI

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants