chore: disable macos-15 for dafny_interrop #855
+74
−8
Draft
Loading