Closed gidsi closed 3 years ago
pull request for #65
Why did you guys merge it with failing CI? The job needs updating because v14-draft
got renamed to v14
.
We thought that it was just the GitHub CI UI bugging around (incomplete cache invalidation), but it appears that we need to adjust two CI config files, not just one :) I'll create a PR.
I've started to write a migration guide for the 0.14 release.
It's a first draft, feel free to edit!