Add CI workflow to create a coverage badge via github pages

This commit is contained in:
Toby Jaffey 2025-12-14 03:08:59 +00:00
parent cfc1286874
commit 079cf2c9bd
4 changed files with 44 additions and 20 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