Skip to content

Fix github CI, after renaming develop to main#47

Merged
kdj0c merged 1 commit into
Aetf:mainfrom
kdj0c:fix_ci_main
Jul 31, 2025
Merged

Fix github CI, after renaming develop to main#47
kdj0c merged 1 commit into
Aetf:mainfrom
kdj0c:fix_ci_main

Commits

Commits on Jul 31, 2025