Closed leej3 closed 3 months ago
@leej3 do you think it is possible to fix the CI here?
@leej3 can you please reopen this PR and change the merging branch to master?
EDIT: could finally do that myself
Thanks for the fixes, John!
@leej3 do you think it is possible to fix the CI here?