ci: switch from cicleci to github actions #888
Merged
CircleCI Checks / bot
succeeded
Apr 25, 2024 in 2m 1s
Workflow: bot
- bot_build_container - Success
- bot_lint - Success
- bot_test - Success
Loading