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 |