Skip to content

[ci] Move ci from gitlab to github #12

[ci] Move ci from gitlab to github

[ci] Move ci from gitlab to github #12

Build

succeeded Oct 30, 2024 in 3m 15s