All workflows

Workflow runs

• Automation: PR state

  completed successfully:
  Automation: PR state#3162:Scheduled
  main

  Nov 12, 202611s
  More actions for workflow run 3162

• Match/case issues on matching tuples

  completed successfully:
  Automation: Issue comments#1376:Issue comment#5013 (comment)createdbymarpulli
  Nov 12, 202610s
  More actions for workflow run 1376

• Match/case issues on matching tuples

  skipped:
  Automation: PR state#3161:Issue comment#5013 (comment)createdbymarpulli
  Nov 12, 20262s
  More actions for workflow run 3161

• Match/case issues on matching tuples

  skipped:
  Automation: PR comments#1376:Issue comment#5013 (comment)createdbymarpulli
  Nov 12, 20269s
  More actions for workflow run 1376

• Match/case issues on matching tuples

  completed successfully:
  Automation: Close issue#306:Issue#5013closedbymarpulli
  Nov 12, 20268s
  More actions for workflow run 306

• Nested exhaustive match/case not refining the type

  completed successfully:
  Automation: Issue comments#1375:Issue comment#5011 (comment)createdbymarpulli
  Nov 12, 20268s
  More actions for workflow run 1375

• Nested exhaustive match/case not refining the type

  skipped:
  Automation: PR state#3160:Issue comment#5011 (comment)createdbymarpulli
  Nov 12, 20269s
  More actions for workflow run 3160

• Nested exhaustive match/case not refining the type

  completed successfully:
  Automation: Close issue#305:Issue#5011closedbymarpulli
  Nov 12, 20268s
  More actions for workflow run 305

• Nested exhaustive match/case not refining the type

  skipped:
  Automation: PR comments#1375:Issue comment#5011 (comment)createdbymarpulli
  Nov 12, 20261s
  More actions for workflow run 1375

• Tuple matching doesn’t recognize exhaustive OR patterns

  completed successfully:
  Automation: New issue#255:Issue#5622openedbyzshuzh
  Nov 12, 20268s
  More actions for workflow run 255

• Exhaustive tuple match reports a missing return

  completed successfully:
  Automation: New issue#254:Issue#5621openedbyzshuzh
  Nov 12, 20267s
  More actions for workflow run 254

• Automation: PR state

  completed successfully:
  Automation: PR state#3159:Scheduled
  main

  Nov 12, 20269s
  More actions for workflow run 3159

• Automation: PR state

  completed successfully:
  Automation: PR state#3158:Scheduled
  main

  Nov 12, 202611s
  More actions for workflow run 3158

• Automation: PR state

  completed successfully:
  Automation: PR state#3157:Scheduled
  main

  Nov 12, 20268s
  More actions for workflow run 3157

• Automation: PR state

  completed successfully:
  Automation: PR state#3156:Scheduled
  main

  Nov 12, 20269s
  More actions for workflow run 3156

• Automation: Assign PR owners

  completed successfully:
  Automation: Assign PR owners#38:Scheduled
  main

  Nov 12, 202610s
  More actions for workflow run 38

• Automation: PR state

  completed successfully:
  Automation: PR state#3155:Scheduled
  main

  Nov 12, 20267s
  More actions for workflow run 3155

• Automation: PR state

  completed successfully:
  Automation: PR state#3154:Scheduled
  main

  Nov 12, 20269s
  More actions for workflow run 3154

• Publish: Build packages

  completed successfully:
  Publish: Build packages#37:Scheduled
  main

  Nov 12, 202645m 2s
  More actions for workflow run 37

• Automation: PR state

  completed successfully:
  Automation: PR state#3153:Scheduled
  main

  Nov 12, 20269s
  More actions for workflow run 3153

• Automation: PR state

  completed successfully:
  Automation: PR state#3152:Scheduled
  main

  Nov 12, 202610s
  More actions for workflow run 3152

• Automation: PR state

  completed successfully:
  Automation: PR state#3151:Scheduled
  main

  Nov 12, 20269s
  More actions for workflow run 3151

• Automation: PR state

  completed successfully:
  Automation: PR state#3150:Scheduled
  main

  Nov 12, 202623s
  More actions for workflow run 3150

• fix dunder all definition for remove #4344

  skipped:
  Automation: PR state#3149:Issue comment#5586 (comment)createdbymeta-codesync[bot]Bot
  Nov 12, 20261s
  More actions for workflow run 3149

• fix dunder all definition for remove #4344

  completed successfully:
  Automation: PR comments#1374:Issue comment#5586 (comment)createdbymeta-codesync[bot]Bot
  Nov 12, 202611s
  More actions for workflow run 1374