Add symbolic link

model-checking · Oct 30, 2023 · 8fcac0b · 8fcac0b
1 parent 324d1d5
commit 8fcac0b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/scripts/setup/macos-13-xlarge b/scripts/setup/macos-13-xlarge
@@ -0,0 +1 @@
+macos