mirror of
https://github.com/micropython/micropython.git
synced 2026-01-06 20:20:14 +01:00
- 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>