#338 Ci fixes Pull request opened by antonblanchard This gets the CI closer to working again. One remaining problem is in the miniconda installer conda/conda#10431 RTimothyEdwards/open_pdks GitHub Actions: Run (all) ✅ 6 other checks have passed 6/7 successful checks