Skip to content

Add CI to github pushes (#13) #5

Add CI to github pushes (#13)

Add CI to github pushes (#13) #5

Linting and tests

succeeded Jul 22, 2025 in 1m 39s