Closed vmx closed 11 months ago
For aarch64 we were still using CircleCI, now run all jobs on GitHub.
Also improve the CI a bit:
For aarch64 we were still using CircleCI, now run all jobs on GitHub.
Also improve the CI a bit: