Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
This brings the CI in sync with the latest Linebender standard, see e.g. [xilem](https://github.com/linebender/xilem/blob/c3a6bd55163d1c37251bd8af47f0067be81319e5/.github/workflows/ci.yml#L73).
- Loading branch information