Move doc building to new CI.

This commit is contained in:
Dario Nieuwenhuis
2023-05-31 13:56:12 +02:00
parent 98398d31f7
commit 046a99aba0
3 changed files with 34 additions and 89 deletions

View File

@ -13,8 +13,6 @@ flavors = [
{ name = "thumbv7m-none-eabi", target = "thumbv7m-none-eabi", features = [] },
{ name = "thumbv7em-none-eabi", target = "thumbv7em-none-eabi", features = [] },
{ name = "thumbv7em-none-eabihf", target = "thumbv7em-none-eabihf", features = [] },
{ name = "thumbv8m.base-none-eabi", target = "thumbv8m.base-none-eabi", features = [] },
{ name = "thumbv8m.main-none-eabi", target = "thumbv8m.main-none-eabi", features = [] },
{ name = "thumbv8m.main-none-eabihf", target = "thumbv8m.main-none-eabihf", features = [] },
]