github:
  on:
    # Run CI on pushes to the master branch, and on PRs against master.
    push:
      branches: [master, null_safety]
    pull_request:
      branches: [master, null_safety]
    schedule:
      - cron: "0 0 * * 0"

merge_stages:
- format_analyze
- run_tests