Code

Debug CI#1622

Code

Merged

vkuncak merged 13 commits intomainepfl-lara/stainless:mainfrom sam/debugCIepfl-lara/stainless:sam/debugCICopy head branch name to clipboardDec 11, 2024

+12-5

Commits

Commits on Dec 11, 2024

• try to add stainless to path

  samuelchassot

  committed
  d82aace

  Copy full SHA for d82aace

• new way to add temp folder to options

  samuelchassot

  committed
  ffa9338

  Copy full SHA for ffa9338

• opne line

  samuelchassot

  committed
  1e37eb4

  Copy full SHA for 1e37eb4

• line break

  samuelchassot

  committed
  12abf38

  Copy full SHA for 12abf38

• print in tests

  samuelchassot

  committed
  17b8473

  Copy full SHA for 17b8473

• change permission of temp folder

  samuelchassot

  committed
  db4d3f2

  Copy full SHA for db4d3f2

• debug

  samuelchassot

  committed
  cc07f80

  Copy full SHA for cc07f80

• debug

  samuelchassot

  committed
  ee92cbf

  Copy full SHA for ee92cbf

• trying to reduce path

  samuelchassot

  committed
  d89c72a

  Copy full SHA for d89c72a

• temporary fix , with one temp folder per CI, which is cleaned up anyway

  samuelchassot

  committed
  ce6ac8b

  Copy full SHA for ce6ac8b

• better temp

  samuelchassot

  committed
  4a37dbf

  Copy full SHA for 4a37dbf

• add rm folder

  samuelchassot

  committed
  9a38f4f

  Copy full SHA for 9a38f4f

• remove print that was causing errors

  samuelchassot

  committed
  ca02f1d

  Copy full SHA for ca02f1d