Settings: add new options to configuration file and clean up settings… #337

Sign in to view logs

Summary
Jobs
- lint-ubuntu
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint-ubuntu	18s
	18s