Skip to content

chore(scripts): use slim and always run make in coder-dev.sh#8418

Merged
mafredri merged 3 commits intomainfrom
mafredri/chore-improve-coder-dev-script
Jul 13, 2023
Merged

chore(scripts): use slim and always run make in `coder-dev.sh`#8418
mafredri merged 3 commits intomainfrom
mafredri/chore-improve-coder-dev-script

Commits

Commits on Jul 11, 2023

Commits on Jul 12, 2023