Code

Mac Build Test outside of Nix#983

Code

Draft

F-WRunTime wants to merge 13 commits intomasterruntimeverification/kontrol:masterfrom

additional-mac-buildsruntimeverification/kontrol:additional-mac-buildsCopy head branch name to clipboard

Commits

Commits on Mar 10, 2025

• modified: .github/workflows/test-pr.yml

  Show description for e441993
  F-WRunTime

  committed
  e441993

  Copy full SHA for e441993

• Update test-pr.yml

  Show description for e2f1ec3
  F-WRunTime

  authored
  e2f1ec3

  Copy full SHA for e2f1ec3

• modified: .github/workflows/test-pr.yml

  Show description for 3839d91
  F-WRunTime

  committed
  3839d91

  Copy full SHA for 3839d91

• modified: .github/workflows/test-pr.yml

  Show description for 592483f
  F-WRunTime

  committed
  592483f

  Copy full SHA for 592483f

• modified: .github/workflows/test-pr.yml

  Show description for 5745bb2
  F-WRunTime

  committed
  5745bb2

  Copy full SHA for 5745bb2

• Adding setup for poetry and python

  F-WRunTime

  committed
  41af800

  Copy full SHA for 41af800

• drop installing python, runner will provide this

  F-WRunTime

  committed
  cbcc7f0

  Copy full SHA for cbcc7f0

• modified: .github/workflows/test-pr.yml

  Show description for a75cfe5
  F-WRunTime

  committed
  a75cfe5

  Copy full SHA for a75cfe5

• Set j build process to 5

  F-WRunTime

  committed
  588e694

  Copy full SHA for 588e694

Commits on Mar 11, 2025

• Merge branch 'master' into additional-mac-builds

  F-WRunTime

  authored
  84f9630

  Copy full SHA for 84f9630

• modified: .github/workflows/test-pr.yml

  Show description for 4938e52
  F-WRunTime

  committed
  4938e52

  Copy full SHA for 4938e52

Commits on Mar 24, 2025

• Merge branch 'master' into additional-mac-builds

  palinatolmach

  authored
  70e16f4

  Copy full SHA for 70e16f4

Commits on Apr 4, 2025

• Merge branch 'master' into additional-mac-builds

  palinatolmach

  authored
  8a2da38

  Copy full SHA for 8a2da38