Code

stainless-ci: Fix directory#1582

Code

Merged

vkuncak merged 9 commits intomainepfl-lara/stainless:mainfrom vk/fixCIepfl-lara/stainless:vk/fixCICopy head branch name to clipboardSep 16, 2024

+21-14

Commits

Commits on Sep 16, 2024

• Fix directory

  vkuncak

  committed
  2711f72

• Fix CI directory

  vkuncak

  committed
  3aaa55b

• Dangling pop. What's a pop anyway

  vkuncak

  committed
  94ac802

• More directory mess fixed

  vkuncak

  committed
  08084b3

• Stupid global sockets

  vkuncak

  committed
  837f09f

• Removed echo

  vkuncak

  committed
  2484eab

• blank line for CI

  vkuncak

  committed
  c81800b

• try different temp

  vkuncak

  committed
  8d6e093

• Disable plugin test for now

  vkuncak

  committed
  93f9adb