CRs Workflows

Workflow runs for CRs Workflows

• Upgrade merge3 vendor

  completed successfully:
  CRs Workflows#252:Commitc750fdbpushedbymbarbin
  main

  Sep 16, 20264m 43s
  More actions for workflow run 252

• Upgrade CI

  completed successfully:
  CRs Workflows#251:Commitea25b8epushedbymbarbin
  main

  Sep 8, 20264m 58s
  More actions for workflow run 251

• Normalize workflow from template

  completed successfully:
  CRs Workflows#250:Commitb447d9fpushedbymbarbin
  main

  Sep 2, 20265m 45s
  More actions for workflow run 250

• Add changelog

  completed successfully:
  CRs Workflows#249:Commit4df242cpushedbymbarbin
  main

  Aug 24, 202630s
  More actions for workflow run 249

• Merge pull request #137 from mbarbin/remove-printbox-test-dep

  completed successfully:
  CRs Workflows#248:Commit7c8034epushedbymbarbin
  main

  Aug 24, 202628s
  More actions for workflow run 248

• Remove test printbox experimentation, use print-table directly

  completed successfully:
  CRs Workflows#247:Pull request#137openedbymbarbin
  remove-printbox-test-dep

  Aug 24, 202634s
  More actions for workflow run 247

• Merge branch 'improved-zola-doc'

  completed successfully:
  CRs Workflows#246:Commite6a5514pushedbymbarbin
  main

  Aug 18, 202625s
  More actions for workflow run 246

• Merge pull request #136 from mbarbin/migrate-doc-to-zola

  completed successfully:
  CRs Workflows#245:Commit2c5eb36pushedbymbarbin
  main

  Aug 18, 202634s
  More actions for workflow run 245

• Migrate doc to zola

  completed successfully:
  CRs Workflows#244:Pull request#136openedbymbarbin
  migrate-doc-to-zola

  Aug 18, 202647s
  More actions for workflow run 244

• Improve myers and merge3 vendoring

  completed successfully:
  CRs Workflows#243:Commit9b491e1pushedbymbarbin
  main

  Aug 17, 202632s
  More actions for workflow run 243

• Improve myers and merge3 vendoring

  completed successfully:
  CRs Workflows#242:Pull request#135openedbymbarbin
  improve-merge3-vendoring

  Aug 17, 202631s
  More actions for workflow run 242

• Upgrade to latest mdexp

  completed successfully:
  CRs Workflows#241:Commit973d328pushedbymbarbin
  main

  Aug 14, 202631s
  More actions for workflow run 241

• Upgrade OCaml and dune in CI

  completed successfully:
  CRs Workflows#240:Commit3fec954pushedbymbarbin
  main

  Aug 12, 202633s
  More actions for workflow run 240

• Merge pull request #134 from mbarbin/migrate-ci-to-5.5

  completed successfully:
  CRs Workflows#239:Commitb75f6depushedbymbarbin
  main

  Aug 12, 20265m 29s
  More actions for workflow run 239

• Migrate CIs to OCaml 5.5

  completed successfully:
  CRs Workflows#238:Pull request#134synchronizebymbarbin
  migrate-ci-to-5.5

  Aug 12, 20265m 24s
  More actions for workflow run 238

• Migrate CIs to OCaml 5.5

  failed:
  CRs Workflows#237:Pull request#134synchronizebymbarbin
  migrate-ci-to-5.5

  Aug 12, 202610s
  More actions for workflow run 237

• Migrate CIs to OCaml 5.5

  failed:
  CRs Workflows#236:Pull request#134openedbymbarbin
  migrate-ci-to-5.5

  Aug 12, 202633s
  More actions for workflow run 236

• Fix some typos

  completed successfully:
  CRs Workflows#235:Commit603146dpushedbymbarbin
  main

  May 18, 20261m 4s
  More actions for workflow run 235

• Merge pull request #133 from mbarbin/vendor-merge3-from-gazagnaire

  completed successfully:
  CRs Workflows#234:Commitfc622d5pushedbymbarbin
  main

  May 16, 202636s
  More actions for workflow run 234

• Vendor gazagnaire/ocaml-merge3 for the Myers diff computation

  completed successfully:
  CRs Workflows#233:Pull request#133openedbymbarbin
  vendor-merge3-from-gazagnaire

  May 16, 202633s
  More actions for workflow run 233

• Run the tests first and instrumented after that

  completed successfully:
  CRs Workflows#232:Commitbf67aa4pushedbymbarbin
  main

  May 15, 202612m 54s
  More actions for workflow run 232

• Upgrade dune in main CI workflow

  completed successfully:
  CRs Workflows#231:Commit46c1ae9pushedbymbarbin
  main

  May 15, 20261m 10s
  More actions for workflow run 231

• Remove step causing CI failures

  completed successfully:
  CRs Workflows#230:Commitbb01801pushedbymbarbin
  main

  May 11, 202656s
  More actions for workflow run 230

• Be more resilient to Dyn.char upstream changes

  completed successfully:
  CRs Workflows#229:Commita4208d9pushedbymbarbin
  main

  May 9, 20261m 7s
  More actions for workflow run 229

• Enable 5.5 in CI

  completed successfully:
  CRs Workflows#228:Commit8c2d5aapushedbymbarbin
  main

  May 5, 202611m 35s
  More actions for workflow run 228