Skip to content

Initial attempt at GitHub Actions based CI. #23

Initial attempt at GitHub Actions based CI.

Initial attempt at GitHub Actions based CI. #23

lint

succeeded Nov 14, 2024 in 21s