fix ci
This commit is contained in:
parent
b940cc8188
commit
753bccee33
1 changed files with 5 additions and 6 deletions
11
.github/workflows/server.yml
vendored
11
.github/workflows/server.yml
vendored
|
@ -86,17 +86,16 @@ jobs:
|
||||||
run: |
|
run: |
|
||||||
git config --global --add safe.directory $(realpath .)
|
git config --global --add safe.directory $(realpath .)
|
||||||
cd examples/server/webui
|
cd examples/server/webui
|
||||||
git ls-files --others --modified
|
|
||||||
git status
|
git status
|
||||||
npm ci
|
npm ci
|
||||||
npm run build
|
npm run build
|
||||||
git status
|
git status
|
||||||
not_ignored_files="$(git ls-files --others --modified)"
|
modified_files="$(git status -s)"
|
||||||
echo "Modified files: ${not_ignored_files}"
|
echo "Modified files: ${modified_files}"
|
||||||
if [ -n "${not_ignored_files}" ]; then
|
if [ -n "${modified_files}" ]; then
|
||||||
echo "Repository is dirty or server/webui is not built as expected"
|
echo "Repository is dirty or server/webui is not built as expected"
|
||||||
echo "Hint: You may need to follow Web UI build guide in server/README.md"
|
echo "Hint: You may need to follow Web UI build guide in server/README.md"
|
||||||
echo "${not_ignored_files}"
|
echo "${modified_files}"
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue