Skip to content

Move CI to github actions #20

Move CI to github actions

Move CI to github actions #20

lint

succeeded Apr 22, 2024 in 1m 39s