Make sure docs are updated

Merge pull request #9509 from sensei-hacker/boards_full_list #31

Sign in to view logs

Summary
Jobs
- settings_md
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
settings_md	15s
	15s