Skip to content

[ci] Move ci from gitlab to github #26

[ci] Move ci from gitlab to github

[ci] Move ci from gitlab to github #26

Check

succeeded Nov 7, 2024 in 5m 42s