Ci settings #2

Merged
c4181 merged 2 commits from ci-settings into main 2022-10-14 00:40:58 +00:00

2 commits