deploy-doc

Workflow runs for deploy-doc

• Upgrade merge3 vendor

  completed successfully:
  deploy-doc#191:Commitc750fdbpushedbymbarbin
  main

  Sep 16, 20267m 4s
  More actions for workflow run 191

• Upgrade CI

  completed successfully:
  deploy-doc#190:Commitea25b8epushedbymbarbin
  main

  Sep 8, 20267m 44s
  More actions for workflow run 190

• Normalize workflow from template

  completed successfully:
  deploy-doc#189:Commitb447d9fpushedbymbarbin
  main

  Sep 2, 20267m 36s
  More actions for workflow run 189

• Add changelog

  completed successfully:
  deploy-doc#188:Commit4df242cpushedbymbarbin
  main

  Aug 24, 202646s
  More actions for workflow run 188

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

  completed successfully:
  deploy-doc#187:Commit7c8034epushedbymbarbin
  main

  Aug 24, 202646s
  More actions for workflow run 187

• Merge branch 'improved-zola-doc'

  completed successfully:
  deploy-doc#186:Commite6a5514pushedbymbarbin
  main

  Aug 18, 202650s
  More actions for workflow run 186

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

  completed successfully:
  deploy-doc#185:Commit2c5eb36pushedbymbarbin
  main

  Aug 18, 202652s
  More actions for workflow run 185

• Improve myers and merge3 vendoring

  completed successfully:
  deploy-doc#184:Commit9b491e1pushedbymbarbin
  main

  Aug 17, 20263m 14s
  More actions for workflow run 184

• Upgrade to latest mdexp

  completed successfully:
  deploy-doc#183:Commit973d328pushedbymbarbin
  main

  Aug 14, 20262m 7s
  More actions for workflow run 183

• Upgrade OCaml and dune in CI

  completed successfully:
  deploy-doc#182:Commit3fec954pushedbymbarbin
  main

  Aug 12, 20269m 59s
  More actions for workflow run 182

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

  completed successfully:
  deploy-doc#181:Commitb75f6depushedbymbarbin
  main

  Aug 12, 20269m 39s
  More actions for workflow run 181

• Fix some typos

  completed successfully:
  deploy-doc#180:Commit603146dpushedbymbarbin
  main

  May 18, 20263m 12s
  More actions for workflow run 180

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

  completed successfully:
  deploy-doc#179:Commitfc622d5pushedbymbarbin
  main

  May 16, 20261m 57s
  More actions for workflow run 179

• Run the tests first and instrumented after that

  completed successfully:
  deploy-doc#178:Commitbf67aa4pushedbymbarbin
  main

  May 15, 202611m 11s
  More actions for workflow run 178

• Upgrade dune in main CI workflow

  completed successfully:
  deploy-doc#177:Commit46c1ae9pushedbymbarbin
  main

  May 15, 202616m 18s
  More actions for workflow run 177

• Remove step causing CI failures

  completed successfully:
  deploy-doc#176:Commitbb01801pushedbymbarbin
  main

  May 11, 20263m 1s
  More actions for workflow run 176

• Be more resilient to Dyn.char upstream changes

  completed successfully:
  deploy-doc#175:Commita4208d9pushedbymbarbin
  main

  May 9, 20263m 11s
  More actions for workflow run 175

• Enable 5.5 in CI

  completed successfully:
  deploy-doc#174:Commit8c2d5aapushedbymbarbin
  main

  May 5, 202616m 10s
  More actions for workflow run 174

• Prepare file for future 5.5 CI (currently unused)

  completed successfully:
  deploy-doc#173:Commite553ed7pushedbymbarbin
  main

  Apr 29, 202618m 58s
  More actions for workflow run 173

• Upgrade deploy-pages (node 24 warning)

  completed successfully:
  deploy-doc#172:Commit61d1e62pushedbymbarbin
  main

  Apr 12, 20264m 39s
  More actions for workflow run 172

• Fix renamed dune-workspace file in crs CI

  completed successfully:
  deploy-doc#171:Commitc805d92pushedbymbarbin
  main

  Apr 12, 20268m 41s
  More actions for workflow run 171

• Upgrade CIs

  completed successfully:
  deploy-doc#170:Commit4af15ccpushedbymbarbin
  main

  Apr 12, 202610m 32s
  More actions for workflow run 170

• Merge pull request #132 from mbarbin/extend-stdlib-pp-err

  completed successfully:
  deploy-doc#169:Commita19d9eepushedbymbarbin
  main

  Mar 26, 20268m 54s
  More actions for workflow run 169

• Merge pull request #131 from mbarbin/use-mdexp

  completed successfully:
  deploy-doc#168:Commit1251ddcpushedbymbarbin
  main

  Mar 26, 20263m 30s
  More actions for workflow run 168

• Update external dependencies packages before building release artifacts

  completed successfully:
  deploy-doc#167:Commitf9aee66pushedbymbarbin
  main

  Mar 24, 20262m 45s
  More actions for workflow run 167