Skip to content

Merge pull request #55 from lampepfl/nicolasstucki-patch-1 #32

Merge pull request #55 from lampepfl/nicolasstucki-patch-1

Merge pull request #55 from lampepfl/nicolasstucki-patch-1 #32

Build and Test (ubuntu-latest, 3.3.3, temurin@17)

succeeded Apr 16, 2024 in 50s