Code

build necessary runtimes#11

Code

Open

Kha wants to merge 10 commits intomainleanprover/lean-llvm:mainfrom runtimesleanprover/lean-llvm:runtimesCopy head branch name to clipboard

+8-6

Commits

Commits on Nov 13, 2024

• build necessary runtimes

  Kha

  authored
  0731d64

• remove compiler-rt from projects?

  Kha

  authored
  a80667d

• schubsi

  Kha

  authored
  27bda49

Commits on Nov 14, 2024

• turn off some things

  Kha

  authored
  8253d15

Commits on Nov 15, 2024

• do we need that

  Kha

  authored
  7937abf

• ping pong

  Kha

  authored
  5aeb921

Commits on Dec 15, 2024

• let's check the error

  hargoniX

  committed
  39cfa89

• maybe like this?

  hargoniX

  committed
  eb864c1

• next try

  hargoniX

  committed
  fa2fba5

• revert try

  hargoniX

  committed
  e2c6ad0