Skip to content

[FEATURE] The refresh.sh takes too long to refresh all/boards/arch, should it fork child process and run simultaneously? #186

[FEATURE] The refresh.sh takes too long to refresh all/boards/arch, should it fork child process and run simultaneously?

[FEATURE] The refresh.sh takes too long to refresh all/boards/arch, should it fork child process and run simultaneously? #186

Annotations

1 warning

label

succeeded Jan 14, 2025 in 2s