Skip to content

Fix the CI: pin third-party repositories and fix package dependencies - #58

Merged
fmrico merged 3 commits into
mainfrom
ci-thirdparty
Sep 27, 2026
Merged

Fix the CI: pin third-party repositories and fix package dependencies#58
fmrico merged 3 commits into
mainfrom
ci-thirdparty

Pin third-party repositories and fix package dependencies

295e942
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar