roc icon indicating copy to clipboard operation
roc copied to clipboard
Published 1 week ago • verified publisher icon roc-lang

Type expansion

Open AjaiKN opened this issue 2 years ago • 1 comments

First step in implementing refinement of tag unions

AjaiKN avatar Jun 17 '23 02:06 AjaiKN

Thank you for your contribution! Sometimes PRs end up staying open for a long time without activity, which can make the list of open PRs get long and time-consuming to review. To keep things manageable for reviewers, this bot automatically closes PRs that haven’t had activity in 60 days. This PR hasn’t had activity in 30 days, so it will be automatically closed if there is no more activity in the next 30 days. Keep in mind that PRs marked Closed are not deleted, so no matter what, the PR will still be right here in the repo. You can always access it and reopen it anytime you like!

github-actions[bot] avatar Jul 30 '23 02:07 github-actions[bot]

Closing as this has not been active for some time. Please re-open if you would like to update and merge these changes.

lukewilliamboswell avatar Nov 24 '24 06:11 lukewilliamboswell

Whoops, sorry, I thought I had already closed this. I won't have time to work on it in the near future, unfortunately.

AjaiKN avatar Nov 24 '24 07:11 AjaiKN