Skip to content

Some CI improvements: updated versions and better reporting#55

Merged
BenjaminSchubert merged 5 commits intomainfrom bschubert/update-ciDec 30, 2023

Commits

Commits on Dec 29, 2023