Code

Update vamp-ir CI installation#2199

Code

Merged

paulcadman merged 7 commits intomainanoma/juvix:mainfrom fix-vampir-cianoma/juvix:fix-vampir-ciCopy head branch name to clipboardJun 16, 2023

+7-8

Commits

Commits on Jun 16, 2023

• testing against my fork

  jonaprieto

  committed
  f0487db

  Copy full SHA for f0487db

• comment stuff for the moment

  jonaprieto

  committed
  5b5cebd

  Copy full SHA for 5b5cebd

• w.i.p

  jonaprieto

  committed
  3c1b3f5

  Copy full SHA for 3c1b3f5

• w.i.p

  jonaprieto

  committed
  072a867

  Copy full SHA for 072a867

• w.i.p

  jonaprieto

  committed
  8f7ffd5

  Copy full SHA for 8f7ffd5

• w.i.p

  jonaprieto

  committed
  5bb112f

  Copy full SHA for 5bb112f

• Use official repository and pin VampIR 0.1.3

  jonaprieto

  committed
  b204918

  Copy full SHA for b204918