This repository was archived by the owner on Apr 13, 2023. It is now read-only.

General CI improvements#839

Merged

staticdev merged 1 commit intomainfrom

ci/general-ci-improvements

Dec 18, 2022

Commits on Dec 18, 2022

General CI improvements
staticdev
committed