Closed francesco-ballarin closed 1 year ago
CI failure seems unrelated
CI failure seems unrelated
Yes, I'm just updating the test to avoid this failure
CI should be fixed now (but annoyingly it seems that the GitHub API can't detect drafts for tags so I can't do a better fix than this)
Edit: Sorry, took me way more attempts than it should have to fix the CI
The two remaining reviewers agreed to the form on slack, so I am going ahead with the merge
The deadline is somewhat arbitrary, please advise if another one is more suitable