Skip to content

Let Github actions rebuild web UI on push to web-src#1670

Merged
ejurgensen merged 2 commits intomasterfrom gh_build_webuiOct 22, 2023