Closed johnynek closed 1 year ago
The CI has somehow been disabled so we currently have no check on PRs.
this is actually done... Not sure why I didn't notice when I refiled the issue.
The CI has somehow been disabled so we currently have no check on PRs.