Linting

Merge pull request #481 from chrysn-pull-requests/rtos-ariel #44

Sign in to view logs

Summary
Jobs
- Super Linter
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Super Linter	1m 38s
	1m 38s