All workflows

Workflow runs

• wip

  failed:
  CI#152:Commit4dfa922pushedbyjongleb
  main

  Nov 12, 202615m 21s
  More actions for workflow run 152

• wip

  failed:
  CI#151:Commit63fc4cepushedbyjongleb
  main

  Nov 12, 202615m 22s
  More actions for workflow run 151

• wip

  failed:
  CI#150:Commit53a4e1fpushedbyjongleb
  main

  Nov 12, 202618m 34s
  More actions for workflow run 150

• wip

  failed:
  CI#149:Commite57d6d1pushedbyjongleb
  main

  Nov 12, 202614m 8s
  More actions for workflow run 149

• wip

  cancelled:
  CI#148:Commitecbbec1pushedbyjongleb
  main

  Nov 12, 20267m 30s
  More actions for workflow run 148

• wip

  failed:
  CI#147:Commitf644b2dpushedbyjongleb
  main

  Nov 12, 202614m 54s
  More actions for workflow run 147

• wip

  failed:
  CI#146:Commit57b4ef6pushedbyjongleb
  main

  Nov 12, 202615m 26s
  More actions for workflow run 146

• Versus

  completed successfully:
  Versus#4:Scheduled
  main

  Nov 12, 20264m 1s
  More actions for workflow run 4

• wip

  failed:
  CI#145:Commitd9e4b81pushedbyjongleb
  main

  Nov 12, 202618m 16s
  More actions for workflow run 145

• wip

  failed:
  CI#144:Commit3f79e1epushedbyjongleb
  main

  Nov 12, 20267m 29s
  More actions for workflow run 144

• wip

  failed:
  CI#143:Commite9163f1pushedbyjongleb
  main

  Nov 11, 202617m 48s
  More actions for workflow run 143

• wip

  failed:
  CI#142:Commit0b77df6pushedbyjongleb
  main

  Nov 11, 202614m 30s
  More actions for workflow run 142

• wip

  failed:
  CI#141:Commit5e1affdpushedbyjongleb
  main

  Nov 11, 20266m 54s
  More actions for workflow run 141

• Versus

  completed successfully:
  Versus#3:Scheduled
  main

  Nov 11, 20263m 42s
  More actions for workflow run 3

• wip

  failed:
  CI#140:Commit5e1affdpushedbyjongleb
  fix/ppx-opened-map-and-poly-let

  Nov 11, 20267m 27s
  More actions for workflow run 140

• wip

  cancelled:
  CI#139:Commit167b837pushedbyjongleb
  fix/ppx-opened-map-and-poly-let

  Nov 11, 20262m 32s
  More actions for workflow run 139

• Versus

  completed successfully:
  Versus#2:Scheduled
  main

  Nov 10, 20265m 1s
  More actions for workflow run 2

• wip

  failed:
  CI#138:Commit89c12cbpushedbyjongleb
  main

  Nov 9, 202614m 48s
  More actions for workflow run 138

• wip

  failed:
  CI#137:Commit1542bdepushedbyjongleb
  main

  Nov 9, 202612m 11s
  More actions for workflow run 137

• wip

  failed:
  CI#136:Commit5344f38pushedbyjongleb
  main

  Nov 9, 202612m 58s
  More actions for workflow run 136

• Versus

  completed successfully:
  Versus#1:Scheduled
  main

  Nov 9, 20261h 30m 56s
  More actions for workflow run 1

• wip

  failed:
  CI#135:Commita22f036pushedbyjongleb
  main

  Nov 9, 202612m 17s
  More actions for workflow run 135

• wip

  failed:
  CI#134:Commit0e7fc74pushedbyjongleb
  main

  Nov 8, 202614m 59s
  More actions for workflow run 134

• wip

  failed:
  CI#133:Commitfbb3803pushedbyjongleb
  main

  Nov 8, 202614m 6s
  More actions for workflow run 133

• wip

  cancelled:
  CI#132:Commitab27432pushedbyjongleb
  main

  Nov 8, 20261m 23s
  More actions for workflow run 132