Skip to content

ci: Don't use python 3.7.17 on macos to build docs#2703

Merged
jvesely merged 2 commits intoPrincetonUniversity:develfrom jvesely:ci-docsJun 23, 2023

Commits

Commits on Jun 22, 2023