Skip to content

chore(ci): use macos-15 for rust benchmarks#856

Open
josecorella wants to merge 11 commits into
mainlinefrom
jocorell/change-rust-architecture-for-benchmarks
Open

chore(ci): use macos-15 for rust benchmarks#856
josecorella wants to merge 11 commits into
mainlinefrom
jocorell/change-rust-architecture-for-benchmarks

no need to set up dafny

c384f0d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar