Skip to content

Update GitHub Actions#4

Merged
JohannesGawron merged 2 commits intocbg-ethz:mainfrom JohannesGawron:mainJul 18, 2024

Commits

Commits on Jul 18, 2024