ci: Drop no longer needed workaround #1405
Merged
This check has been archived and is scheduled for deletion.
Learn more about checks retention
Cirrus CI / C++ (public headers)
succeeded
Aug 20, 2023 in 5s
Task Summary
Task successfully finished!
Details
✅ 00:01 clone
✅ 00:01 test
Loading