Skip to content

Move CI to github actions #5

Move CI to github actions

Move CI to github actions #5

Annotations

10 errors and 1 warning

lint

succeeded Apr 19, 2024 in 1m 25s