sdk:
- dev

os:
- linux

stages:
- analyze_and_format:
  - format
  - analyze: --fatal-infos .
- test:
  - test: --test-randomize-ordering-seed=random
