| 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 | |
| - format | |
| - analyze | |
| - run_tests |