All workflows

Workflow runs

• ci

  completed successfully:
  ci#877:Scheduled
  master

  Oct 19, 202613m 27s
  More actions for workflow run 877

• ci

  completed successfully:
  ci#876:Scheduled
  master

  Oct 18, 202611m 46s
  More actions for workflow run 876

• ci

  completed successfully:
  ci#875:Scheduled
  master

  Oct 17, 202612m 2s
  More actions for workflow run 875

• ci

  completed successfully:
  ci#874:Scheduled
  master

  Oct 16, 202612m 19s
  More actions for workflow run 874

• ci

  completed successfully:
  ci#873:Scheduled
  master

  Oct 15, 202611m 44s
  More actions for workflow run 873

• ci

  completed successfully:
  ci#872:Scheduled
  master

  Oct 14, 202612m 56s
  More actions for workflow run 872

• ci

  completed successfully:
  ci#871:Scheduled
  master

  Oct 13, 202611m 48s
  More actions for workflow run 871

• ci

  completed successfully:
  ci#870:Scheduled
  master

  Oct 12, 202611m 5s
  More actions for workflow run 870

• ci

  completed successfully:
  ci#869:Scheduled
  master

  Oct 11, 20269m 26s
  More actions for workflow run 869

• ci

  completed successfully:
  ci#868:Scheduled
  master

  Oct 10, 202611m 2s
  More actions for workflow run 868

• ci

  completed successfully:
  ci#867:Scheduled
  master

  Oct 9, 202610m 9s
  More actions for workflow run 867

• ci

  completed successfully:
  ci#866:Scheduled
  master

  Oct 8, 202619m 43s
  More actions for workflow run 866

• ci

  completed successfully:
  ci#865:Scheduled
  master

  Oct 7, 202612m 33s
  More actions for workflow run 865

• ci

  completed successfully:
  ci#864:Scheduled
  master

  Oct 6, 202611m 0s
  More actions for workflow run 864

• ci

  completed successfully:
  ci#863:Scheduled
  master

  Oct 5, 202612m 6s
  More actions for workflow run 863

• ci

  completed successfully:
  ci#862:Scheduled
  master

  Oct 4, 202611m 4s
  More actions for workflow run 862

• ci

  completed successfully:
  ci#861:Scheduled
  master

  Oct 3, 20269m 44s
  More actions for workflow run 861

• ci

  completed successfully:
  ci#860:Scheduled
  master

  Oct 2, 202612m 16s
  More actions for workflow run 860

• github_actions in /. - Update #1603781952

  completed successfully:
  Dependabot Updates#28:bydependabot[bot]Bot
  master

  Oct 1, 202654s

• ci

  completed successfully:
  ci#859:Scheduled
  master

  Oct 1, 202612m 54s
  More actions for workflow run 859

• ci

  completed successfully:
  ci#858:Scheduled
  master

  Sep 30, 202611m 28s
  More actions for workflow run 858

• ci

  completed successfully:
  ci#857:Scheduled
  master

  Sep 29, 202610m 1s
  More actions for workflow run 857

• ci

  completed successfully:
  ci#856:Scheduled
  master

  Sep 28, 20268m 22s
  More actions for workflow run 856

• ci

  completed successfully:
  ci#855:Scheduled
  master

  Sep 27, 20269m 43s
  More actions for workflow run 855

• Add OCaml 5.6 support

  completed successfully:
  ci#854:Pull request#100synchronizebysim642
  ocaml-5.6

  Sep 27, 202610m 33s
  More actions for workflow run 854