Adding all gifs to the doc 2 (#585)

* update docs

* update docs

* update docs
This commit is contained in:
Atsushi Sakai
2021-11-28 16:00:02 +09:00
committed by GitHub
parent f8f10a3ec8
commit c99716d692
28 changed files with 193 additions and 140 deletions

View File

@@ -41,7 +41,7 @@ jobs:
mypy -p AerialNavigation
mypy -p ArmNavigation
mypy -p Bipedal
mypy -p InvertedPendulumCart
mypy -p Control
mypy -p Localization
mypy -p Mapping
mypy -p PathPlanning

View File

@@ -48,7 +48,7 @@ jobs:
mypy -p AerialNavigation
mypy -p ArmNavigation
mypy -p Bipedal
mypy -p InvertedPendulumCart
mypy -p Control
mypy -p Localization
mypy -p Mapping
mypy -p PathPlanning