Skip to content

Move CI to github actions #26

Move CI to github actions

Move CI to github actions #26

lint

succeeded Apr 30, 2024 in 1m 16s