Skip to content

Add github actions CI and remove travis CI #3

Add github actions CI and remove travis CI

Add github actions CI and remove travis CI #3

Annotations

6 warnings

check-formatting

succeeded May 29, 2024 in 13s