Code

Improve Jenkins configuration#36

Code

Merged

github-actions[bot] merged 9 commits intomastermarco-compiler/marco:masterfrom jenkinsmarco-compiler/marco:jenkinsCopy head branch name to clipboardSep 19, 2024

+258-50

Commits

Commits on Sep 19, 2024

• Rename CI check names of development pipelines

  mscuttari

  committed
  35fc887

  Copy full SHA for 35fc887

• Enable LLVM assertions in development images

  mscuttari

  committed
  9594160

  Copy full SHA for 9594160

• Add Dockerfiles for production images

  mscuttari

  committed
  291e5fc

  Copy full SHA for 291e5fc

• Add Jenkinfile for production Docker image

  mscuttari

  committed
  e2fe7f6

  Copy full SHA for e2fe7f6

• Use mold linker

  mscuttari

  committed
  abd592b

  Copy full SHA for abd592b

• Use dedicated files for dependencies versions

  mscuttari

  committed
  e880e5d

  Copy full SHA for e880e5d

• Set OpenModelica as last dependency

  mscuttari

  committed
  e5576db

  Copy full SHA for e5576db

• Fix Docker production images

  mscuttari

  committed
  752f7eb

  Copy full SHA for 752f7eb

• Delay the installation of runtime dependencies

  mscuttari

  committed
  451dd75

  Copy full SHA for 451dd75