Skip to content

Attempt to make scripts more generic#30

Merged
lefticus merged 2 commits intomainfrom make_ci_genericApr 23, 2023

Commits

Commits on Apr 22, 2023

Commits on Apr 23, 2023