Code

Mac Build Test outside of Nix#2717

Code

Open

F-WRunTime wants to merge 3 commits intomasterruntimeverification/evm-semantics:masterfrom build-on-macruntimeverification/evm-semantics:build-on-macCopy head branch name to clipboard

Commits

Commits on Mar 10, 2025

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

  Show description for 3aa3e32
  F-WRunTime

  committed
  3aa3e32

  Copy full SHA for 3aa3e32

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

  Show description for 7a5f2fd
  F-WRunTime

  committed
  7a5f2fd

  Copy full SHA for 7a5f2fd

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

  Show description for 5270caa
  F-WRunTime

  committed
  5270caa

  Copy full SHA for 5270caa