Ignore some extra third-party submodules in git-move-submodules #56
Cirrus CI / debian11
succeeded
Jul 8, 2024 in 22s
Task Summary
Task successfully finished!
Details
✅ 00:00 clone
✅ 00:02 sync_submodules
✅ 00:10 build
✅ 00:07 test
✔️ 00:00 upload_btest_tmp_dir
Loading