Merge #2077
This check has been archived and is scheduled for deletion.
Learn more about checks retention
Cirrus CI / Linux arm gnueabi
succeeded
Jul 17, 2023 in 3m 55s
Task Summary
Task successfully finished!
Details
✅ 00:01 clone
✅ 01:17 setup
✅ 02:07 build
✅ 00:25 test
✅ 00:01 before_cache
Loading