Commit graph

1 commit

Author SHA1 Message Date
heinrich5991 94f45d4689 Enable GitHub merge queue
Run workflows for GitHub merge queue.

Fixes #6558.
2023-07-14 11:46:22 +02:00
Renamed from .github/workflows/build.yaml (Browse further)