Add dockerci target which builds badge and uploads to github pages

This commit is contained in:
Toby Jaffey 2025-12-14 02:06:10 +00:00
parent cfc1286874
commit b2b7827e60
3 changed files with 25 additions and 18 deletions

View file

@ -10,6 +10,9 @@ clean:
(cd hosts && make clean)
(cd apps && make clean)
ci:
(cd test && make ci)
test:
make -C test
@ -28,4 +31,7 @@ dockershell:
docker:
docker run -v `pwd`:/data -w /data --rm uvm32 make
dockerci:
docker run -v `pwd`:/data -w /data --rm uvm32 make ci