more platforms (untested);
authorwenzelm
Mon, 03 Feb 2025 14:25:55 +0100
changeset 82066 fb7bd2c8ba5e
parent 82065 f178475f274d
child 82067 c379809f5b6f
more platforms (untested);
Admin/components/README.md
--- a/Admin/components/README.md	Mon Feb 03 14:15:37 2025 +0100
+++ b/Admin/components/README.md	Mon Feb 03 14:25:55 2025 +0100
@@ -38,11 +38,13 @@
       - macOS 12 Monterey (untested)
       - macOS 13 Ventura (`mini3` Mac14,12 -- MacMini M2 Pro, 6+4 cores)
       - macOS 14 Sonoma (`mini2` Macmini8,1)
+      - macOS 15 Sequoia (untested)
   * `arm64-darwin`
       - **macOS 11 Big Sur** (`assur` Macmini9,1 -- MacMini M1, 4+4 cores)
       - macOS 12 Monterey (untested)
       - macOS 13 Ventura (`mini3` Mac14,12 -- MacMini M2 Pro, 6+4 cores)
       - macOS 14 Sonoma (`studio1` Mac13,2 M1 Ultra, 16+4 cores)
+      - macOS 15 Sequoia (untested)
 
   * `x86_64-windows`
       - **Windows Server 2022** (`se0.proof.cit.tum.de`)