Closed patchback[bot] closed 1 month ago
This is a backport of PR #613 as merged into main (e9f8bc64242d9bbf7fd2801a79e9885bfbf593fd).
Fix CI
@felixfontein my bad, forgot to backport this one, now it's green
This is a backport of PR #613 as merged into main (e9f8bc64242d9bbf7fd2801a79e9885bfbf593fd).
SUMMARY
Fix CI