Skip to content

[CI] no longer runs CI job on macos-10.15#1624

Merged
ptillet merged 1 commit into
mainfrom
phil/ci-fixup
May 5, 2023
Merged

[CI] no longer runs CI job on macos-10.15#1624
ptillet merged 1 commit into
mainfrom
phil/ci-fixup

Commits

Commits on May 5, 2023