README.md: Update CI badges.

- Fix URL for the unix badge.
- Add stm32 CI badge.
- Add docs CI badge (linking to the documentation)
- Make docs CI run on push (so we get a badge generated).

This work was funded through GitHub Sponsors.

Signed-off-by: Jim Mussared <jim.mussared@gmail.com>
This commit is contained in:
Jim Mussared
2023-10-06 15:57:15 +11:00
parent 69e34b6b6b
commit 5232847771
2 changed files with 2 additions and 1 deletions

View File

@@ -1,6 +1,7 @@
name: Build docs
on:
push:
pull_request:
paths:
- docs/**