Skip to content

[ci] move CI to github, remove hardcoded flags #1

[ci] move CI to github, remove hardcoded flags

[ci] move CI to github, remove hardcoded flags #1