Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fixes #15836; WIP, [backport:1.4] #16058

Closed
wants to merge 5 commits into from
Closed

fixes #15836; WIP, [backport:1.4] #16058

wants to merge 5 commits into from

Conversation

Araq
Copy link
Member

@Araq Araq commented Nov 19, 2020

No description provided.

@Araq
Copy link
Member Author

Araq commented Nov 20, 2020

@mratsim This makes arraymancer tests fail but it might be that the compiler now rightly complains about one of your tests cases. Please investigate.

@mratsim
Copy link
Collaborator

mratsim commented Nov 26, 2020

@Araq
Copy link
Member Author

Araq commented Nov 26, 2020

Ok, so in other words, you're confirming that your test cases are correct. Thanks, will investigate further.

@stale
Copy link

stale bot commented Jul 7, 2022

This pull request has been automatically marked as stale because it has not had recent activity. If you think it is still a valid PR, please rebase it on the latest devel; otherwise it will be closed. Thank you for your contributions.

@stale stale bot added the stale Staled PR/issues; remove the label after fixing them label Jul 7, 2022
@Araq
Copy link
Member Author

Araq commented Jul 7, 2022

Refresh.

@Araq Araq removed the stale Staled PR/issues; remove the label after fixing them label Jul 7, 2022
@github-actions
Copy link
Contributor

github-actions bot commented Jul 8, 2023

This pull request is stale because it has been open for 1 year with no activity. Contribute more commits on the pull request and rebase it on the latest devel, or it will be closed in 30 days. Thank you for your contributions.

@github-actions github-actions bot added the stale Staled PR/issues; remove the label after fixing them label Jul 8, 2023
@github-actions
Copy link
Contributor

github-actions bot commented Aug 8, 2023

This pull request has been marked as stale and closed due to inactivity after 395 days.

@github-actions github-actions bot closed this Aug 8, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
stale Staled PR/issues; remove the label after fixing them
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants