Code

Test macos build#4537

Code

Closed

Baltoli wants to merge 14 commits intodevelopruntimeverification/k:developfrom macos-ciruntimeverification/k:macos-ciCopy head branch name to clipboard

+61-11

Commits

Commits on Jul 20, 2024

• Test macos build

  Baltoli

  committed
  9eb4dbb

  Copy full SHA for 9eb4dbb

• Remove cachix push

  Baltoli

  committed
  c967389

  Copy full SHA for c967389

• Set paths

  Baltoli

  committed
  e8b0809

  Copy full SHA for e8b0809

• Shellcheck

  Baltoli

  committed
  1615af4

  Copy full SHA for 1615af4

Commits on Jul 22, 2024

• Just build K

  Baltoli

  committed
  a099632

  Copy full SHA for a099632

• And run tests with make

  Baltoli

  committed
  f42a670

  Copy full SHA for f42a670

• Stack cache, nproc

  Baltoli

  committed
  213163b

  Copy full SHA for 213163b

• Merge branch 'develop' into macos-ci

  Baltoli

  authored
  e2d38cd

  Copy full SHA for e2d38cd

• Install libffi

  Baltoli

  committed
  5157413

  Copy full SHA for 5157413

• Merge branch 'macos-ci' of github.com:runtimeverification/k into macos-ci

  Baltoli

  committed
  14404dd

  Copy full SHA for 14404dd

• Merge branch 'develop' into macos-ci

  Baltoli

  committed
  bce1f16

  Copy full SHA for bce1f16

• Get to caching

  Baltoli

  committed
  9fad8c4

  Copy full SHA for 9fad8c4

• undo

  Baltoli

  committed
  e0d31a0

  Copy full SHA for e0d31a0

Commits on Jul 23, 2024

• Also cache maven

  Baltoli

  committed
  2d4dbbf

  Copy full SHA for 2d4dbbf