I noticed that CI is currently unstable. I took a stab at fixing it, but did't have permissions to update this PR with the fixes, so I opened #640 instead - I hope you don't mind. Feel free to either close this one or cherry-pick my commits from the other PR into this one 👍
Nargonath
commented
3 years ago
I noticed that CI is currently unstable. I took a stab at fixing it, but did't have permissions to update this PR with the fixes, so I opened #640 instead - I hope you don't mind. Feel free to either close this one or cherry-pick my commits from the other PR into this one 👍