blob: 644b44a02166be8e4f22335aefb24108ac5fbeb0 [file] [log] [blame]
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