Skip to content

github-actions: Restrict main CI run to macos-10.15#2139

Merged
jvesely merged 1 commit intoPrincetonUniversity:develfrom jvesely:gh-actionsOct 6, 2021

Commits

Commits on Oct 5, 2021