Code

Add CI#8

Code

Open

jsalzbergedu wants to merge 5 commits intodevnyu-acsys/raven:devfrom cinyu-acsys/raven:ciCopy head branch name to clipboard

+10-49

Commits

Commits on Oct 29, 2024

• Add ci workflow

  jsalzbergedu

  committed
  dd45663

  Copy full SHA for dd45663

• Add ci to the ci workflows

  jsalzbergedu

  committed
  1fc7eea

  Copy full SHA for 1fc7eea

• Test the ci on skolem

  jsalzbergedu

  committed
  a209c93

  Copy full SHA for a209c93

• Require only self-hosted

  jsalzbergedu

  committed
  836cea8

  Copy full SHA for 836cea8

• Add ocaml compiler version

  jsalzbergedu

  committed
  7fa9952

  Copy full SHA for 7fa9952