Ci optimizations - #10

Merged

alexlanz merged 4 commits into

mainfrom

ci-optimizations

Jul 28, 2023

Commits on Jul 28, 2023

optimize CI
alexlanz
committed
151113b
add tests to CI pipeline
alexlanz
committed
60f326c
fix test pipelines
alexlanz
committed
a63660f
rename GitHub action files
alexlanz
committed
4bcb58f