Re-run all checks and re-run failed checks are not supported.

[Zimmi48]

@coqbot already supports the "Re-run" button for an individual failed check in the GitHub Checks tab (see the left-hand side in the screenshot below) but it doesn't support the new "re-run all checks" and "re-run failed checks" features (they lead to a check_suite.rerequested event, see example JSON below).

{
  "action": "rerequested",
  "check_suite": {
    "id": 9518587276,
    "node_id": "CS_kwDOABUDh88AAAACN1odjA",
    "head_branch": null,
    "head_sha": "658ac3b32035612b43b99eee4c10a887fd657e99",
    "status": "queued",
    "conclusion": null,
    "url": "https://api.github.com/repos/coq/coq/check-suites/9518587276",
    "before": null,
    "after": null,
    "pull_requests": [

    ],
    "app": {
      "id": 31373,
      "slug": "coqbot-app",
      ...
    },
    "created_at": "2022-11-26T17:30:25Z",
    "updated_at": "2022-11-27T17:12:18Z",
    "rerequestable": true,
    "runs_rerequestable": true,
    "latest_check_runs_count": 2,
    "check_runs_url": "https://api.github.com/repos/coq/coq/check-suites/9518587276/check-runs",
    "head_commit": {
      "id": "658ac3b32035612b43b99eee4c10a887fd657e99",
      "tree_id": "84995dbb3a57fbcb781701f1f8b86a6cc1f8e45d",
      "message": "Backport PR #16892: deprecate Zmod",
      ...
    }
  },
  "repository": {
    "id": 1377159,
    "node_id": "MDEwOlJlcG9zaXRvcnkxMzc3MTU5",
    "name": "coq",
    "full_name": "coq/coq",
    ...
  },
  "organization": {
    "login": "coq",
    ...
  },
  "sender": {
    "login": "Zimmi48",
    ...
  },
  "installation": {
    "id": 1062161,
    "node_id": "..."
  }
}

[rafaelkallis]

@Zimmi48 sorry for the mess with tickettagger. I am working on improvements and replayed the wrong event(s) by accident. Issue is resolved now.

[Zimmi48]

No worries, thanks for letting me know 🙏