CI: fix merge queue #2189
Merged
CI: fix merge queue #2189
Cirrus CI / Linux aarch64
succeeded
Nov 13, 2023 in 7m 52s
Task Summary
Task successfully finished!
Details
✅ 00:02 clone
✅ 00:01 setup
✅ 07:05 build
✅ 00:38 test
✅ 00:01 before_cache
Loading