Run ocamlformat.

coq · Jun 17, 2024 · c3536b9 · c3536b9
1 parent 0ee1c8a
commit c3536b9
Show file tree

Hide file tree

Showing 4 changed files with 153 additions and 154 deletions.
diff --git a/bot-components/GitHub_GraphQL.ml b/bot-components/GitHub_GraphQL.ml
@@ -3,8 +3,8 @@
 (* Queries *)
 
 module PullRequest_Milestone_and_Cards =
-  [%graphql
-  {|
+[%graphql
+{|
   fragment Column on ProjectColumn {
     id
     databaseId
@@ -34,8 +34,8 @@ module PullRequest_Milestone_and_Cards =
 |}]
 
 module PullRequest_ID =
-  [%graphql
-  {|
+[%graphql
+{|
   query prID($owner: String!, $repo: String!, $number: Int!) {
     repository(owner: $owner,name: $repo) {
       pullRequest(number: $number) {
@@ -46,8 +46,8 @@ module PullRequest_ID =
 |}]
 
 module PullRequest_ID_and_Milestone =
-  [%graphql
-  {|
+[%graphql
+{|
   query prInfo($owner: String!, $repo: String!, $number: Int!) {
     repository(owner: $owner,name: $repo) {
       pullRequest(number: $number) {
@@ -63,8 +63,8 @@ module PullRequest_ID_and_Milestone =
 |}]
 
 module TeamMembership =
-  [%graphql
-  {|
+[%graphql
+{|
   query teamMember($org: String!, $team: String!, $user: String!) {
     organization(login:$org) {
       team(slug:$team) {
@@ -85,8 +85,8 @@ module ParseAsString = struct
 end
 
 module PullRequest_Refs =
-  [%graphql
-  {|
+[%graphql
+{|
   query prRefs($owner: String!, $repo: String!, $number: Int!) {
     repository(owner: $owner, name:$repo) {
       pullRequest(number: $number) {
@@ -115,8 +115,8 @@ module PullRequest_Refs =
 |}]
 
 module Issue_Milestone =
-  [%graphql
-  {|
+[%graphql
+{|
   fragment Milestone on Milestone {
     id
   }
@@ -151,8 +151,8 @@ module Issue_Milestone =
 |}]
 
 module PullRequestReviewsInfo =
-  [%graphql
-  {|
+[%graphql
+{|
   fragment Reviews on PullRequestReviewConnection {
     nodes {
       author { login }
@@ -189,8 +189,8 @@ module PullRequestReviewsInfo =
 |}]
 
 module DefaultBranch =
-  [%graphql
-  {|
+[%graphql
+{|
   query defaultBranch($owner: String!, $repo: String!) {
     repository(owner: $owner, name: $repo) {
       defaultBranchRef {
@@ -201,8 +201,8 @@ module DefaultBranch =
 |}]
 
 module FileContent =
-  [%graphql
-  {|
+[%graphql
+{|
   query fileContent($owner: String!, $repo: String!, $file: String!) {
     repository(owner: $owner, name: $repo) {
       file:object(expression: $file) {
@@ -215,8 +215,8 @@ module FileContent =
 |}]
 
 module RepoId =
-  [%graphql
-  {|
+[%graphql
+{|
   query repoId($owner: String!, $repo: String!) {
     repository(owner: $owner, name: $repo) {
       id
@@ -225,8 +225,8 @@ module RepoId =
 |}]
 
 module GetCheckRuns =
-  [%graphql
-  {|
+[%graphql
+{|
   query getCheckRuns($appId: Int!, $owner: String!, $repo: String!, $commit: String!, $context: String!) {
     repository(owner:$owner, name:$repo) {
       obj: object(expression: $commit) {
@@ -252,8 +252,8 @@ module GetCheckRuns =
 |}]
 
 module GetLabel =
-  [%graphql
-  {|
+[%graphql
+{|
   query getLabels($owner: String!, $repo: String!, $label: String!) {
     repository(owner:$owner, name:$repo) {
       label(name: $label) {
@@ -264,8 +264,8 @@ module GetLabel =
 |}]
 
 module GetOpenPullRequestWithLabel =
-  [%graphql
-  {|
+[%graphql
+{|
 
 query getOpenPullRequestWithLabel($owner: String!, $repo:String!, $label:String!, $cursor: String, $len: Int!) {
   repository(name: $repo,owner:$owner) {
@@ -285,8 +285,8 @@ query getOpenPullRequestWithLabel($owner: String!, $repo:String!, $label:String!
 |}]
 
 module GetPullRequestLabelTimeline =
-  [%graphql
-  {|
+[%graphql
+{|
 fragment Label on Label {
   name
 }
@@ -317,8 +317,8 @@ query getPullRequestLabelTimeline($owner: String!, $repo:String!, $prNumber: Int
 |}]
 
 module GetPullRequestLabels =
-  [%graphql
-  {|
+[%graphql
+{|
 
 query getPullRequestLabels($owner: String!, $repo:String!, $prNumber: Int!, $cursor: String, $len: Int!) {
   repository(name: $repo,owner:$owner) {
@@ -339,8 +339,8 @@ query getPullRequestLabels($owner: String!, $repo:String!, $prNumber: Int!, $cur
 |}]
 
 module GetBaseAndHeadChecks =
-  [%graphql
-  {|
+[%graphql
+{|
 fragment CheckRuns on CheckRunConnection {
   nodes {
     name
@@ -386,8 +386,8 @@ query getChecks($appId: Int!, $owner: String!, $repo:String!, $prNumber: Int!, $
 |}]
 
 module GetPipelineSummary =
-  [%graphql
-  {|
+[%graphql
+{|
 query getChecks($appId: Int!, $owner: String!, $repo:String!, $head: String!) {
   repository(name: $repo,owner:$owner) {
     getPipelineSummaryCommit: object(expression: $head) {
@@ -410,8 +410,8 @@ query getChecks($appId: Int!, $owner: String!, $repo:String!, $head: String!) {
 (* Mutations *)
 
 module MoveCardToColumn =
-  [%graphql
-  {|
+[%graphql
+{|
   mutation moveCard($card_id:ID!,$column_id:ID!) {
     moveProjectCard(input:{cardId:$card_id,columnId:$column_id}) {
       clientMutationId
@@ -420,8 +420,8 @@ module MoveCardToColumn =
 |}]
 
 module PostComment =
-  [%graphql
-  {|
+[%graphql
+{|
   mutation addComment($id:ID!,$message:String!) {
     payload: addComment(input:{subjectId:$id,body:$message}) {
       commentEdge {
@@ -434,8 +434,8 @@ module PostComment =
 |}]
 
 module UpdateMilestone =
-  [%graphql
-  {|
+[%graphql
+{|
   mutation updateMilestone($issue: ID!, $milestone: ID!) {
     updateIssue(input: {id: $issue, milestoneId: $milestone}) {
       clientMutationId
@@ -444,8 +444,8 @@ module UpdateMilestone =
 |}]
 
 module MergePullRequest =
-  [%graphql
-  {|
+[%graphql
+{|
   mutation mergePullRequest($pr_id: ID!, $commit_headline: String,
   $commit_body: String, $merge_method: PullRequestMergeMethod) {
     mergePullRequest(
@@ -462,8 +462,8 @@ module MergePullRequest =
 |}]
 
 module ClosePullRequest =
-  [%graphql
-  {|
+[%graphql
+{|
   mutation closePullRequest($pr_id: ID!) {
     closePullRequest(
       input: {pullRequestId: $pr_id}) {
@@ -475,8 +475,8 @@ module ClosePullRequest =
 |}]
 
 module LabelIssue =
-  [%graphql
-  {|
+[%graphql
+{|
   mutation labelIssue($issue_id: ID!, $label_ids: [ID!]!) {
     addLabelsToLabelable(
       input: {labelableId: $issue_id, labelIds:$label_ids}) {
@@ -486,8 +486,8 @@ module LabelIssue =
 |}]
 
 module UnlabelIssue =
-  [%graphql
-  {|
+[%graphql
+{|
   mutation unlabelIssue($issue_id: ID!, $label_ids: [ID!]!) {
     removeLabelsFromLabelable(
       input: {labelableId: $issue_id, labelIds:$label_ids}) {
@@ -497,8 +497,8 @@ module UnlabelIssue =
 |}]
 
 module NewCheckRun =
-  [%graphql
-  {|
+[%graphql
+{|
   mutation newCheckRun($name: String!, $repoId: ID!, $headSha: String!,
   $status: RequestableCheckStatusState!, $title: String!, $text: String, $summary: String!,
   $url: String!, $conclusion: CheckConclusionState, $externalId: String) {
@@ -525,8 +525,8 @@ module NewCheckRun =
 |}]
 
 module UpdateCheckRun =
-  [%graphql
-  {|
+[%graphql
+{|
   mutation updateCheckRun($checkRunId: ID!, $repoId: ID!
   $conclusion: CheckConclusionState!, $title: String!, $text: String,
   $url: String, $summary: String!) {

diff --git a/bot-components/GitHub_queries.ml b/bot-components/GitHub_queries.ml
@@ -116,28 +116,28 @@ let get_backported_pr_info ~bot_info number base_ref =
   >|= function
   | Ok (cards, milestone) ->
       (let open Option in
-       milestone
-       >>= fun milestone ->
-       milestone.description
-       >>= extract_backport_info ~bot_info
-       >>= (fun full_backport_info ->
-             full_backport_info.backport_info
-             |> List.find ~f:(fun {backport_to} ->
-                    String.equal ("refs/heads/" ^ backport_to) base_ref ) )
-       >>= fun {request_inclusion_column; backported_column} ->
-       List.find_map cards ~f:(fun card ->
-           if
-             card.column
-             >>= (fun column -> column.databaseId)
-             |> Option.equal Int.equal (Some request_inclusion_column)
-           then
-             List.find_map card.columns ~f:(fun column ->
-                 if
-                   Option.equal Int.equal (Some backported_column)
-                     column.databaseId
-                 then Some {card_id= card.id; column_id= column.id}
-                 else None )
-           else None ) )
+      milestone
+      >>= fun milestone ->
+      milestone.description
+      >>= extract_backport_info ~bot_info
+      >>= (fun full_backport_info ->
+            full_backport_info.backport_info
+            |> List.find ~f:(fun {backport_to} ->
+                   String.equal ("refs/heads/" ^ backport_to) base_ref ) )
+      >>= fun {request_inclusion_column; backported_column} ->
+      List.find_map cards ~f:(fun card ->
+          if
+            card.column
+            >>= (fun column -> column.databaseId)
+            |> Option.equal Int.equal (Some request_inclusion_column)
+          then
+            List.find_map card.columns ~f:(fun column ->
+                if
+                  Option.equal Int.equal (Some backported_column)
+                    column.databaseId
+                then Some {card_id= card.id; column_id= column.id}
+                else None )
+          else None ) )
       |> fun res -> Ok res
   | Error err ->
       Error (f "Error in backported_pr_info: %s." err)

diff --git a/bot-components/GitLab_GraphQL.ml b/bot-components/GitLab_GraphQL.ml
@@ -1,6 +1,6 @@
 module GetRetriedJobs =
-  [%graphql
-  {|
+[%graphql
+{|
   query getRetriedJobs($fullPath: ID!, $jobId: JobID!) {
     project(fullPath: $fullPath) {
       job(id: $jobId) {