Commits

Breadcrumbs

History for

onembed-lang

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 30, 2024

• Boost CI speed (#6842)

  Show description for 2a0f3ba
  cometkim

  authored
  2a0f3ba

  Copy full SHA for 2a0f3ba

Commits on Dec 22, 2022

• Build statically linked Linux binaries in CI (#5872)

  Show description for a713ff7
  cknitt

  authored
  a713ff7

  Copy full SHA for a713ff7

Commits on Dec 6, 2022

• Build the whole compiler with dune

  

  cknitt

  authored and

  cristianoc

  committed
  81a3dc6

  Copy full SHA for 81a3dc6

Commits on Sep 20, 2022

• Clean up platform bin dirs part 1: ninja.COPYING (#5676)

  Show description for b367be5
  cknitt

  authored
  b367be5

  Copy full SHA for b367be5

Commits on Sep 19, 2022

• python3 for building ninja (#5673)

  mununki

  authored
  2ab41fb

  Copy full SHA for 2ab41fb

• Fix ninja path for macos-arm CI tests

  cknitt

  committed
  b38973b

  Copy full SHA for b38973b

• Build ninja binary in CI

  cknitt

  committed
  c0052a4

  Copy full SHA for c0052a4

Loading