.github/config/mute_issue_and_digest_config.json


1
2
3
4
5
6
7
8
9
10
11

{
  "profiles": [
    {
      "branch": "main",
      "build_type": "relwithdebinfo",
      "schedule_utc_hours": [13],
      "schedule_weekdays": [1, 2, 3, 4, 5],
      "include_plots": true
    }
  ]
}