Re-enable x86_64 macOS CI builds

Author: bjorn3

.github/workflows/main.yml

@@ -56,10 +56,9 @@ jobs:
           - os: ubuntu-24.04-arm
             env:
               TARGET_TRIPLE: aarch64-unknown-linux-gnu
-          # FIXME(rust-lang/rust#145699)
-          #- os: macos-13
-          #  env:
-          #    TARGET_TRIPLE: x86_64-apple-darwin
+          - os: macos-13
+            env:
+              TARGET_TRIPLE: x86_64-apple-darwin
           - os: macos-latest
             env:
               TARGET_TRIPLE: aarch64-apple-darwin
@@ -188,10 +187,9 @@ jobs:
           - os: ubuntu-24.04-arm
             env:
               TARGET_TRIPLE: aarch64-unknown-linux-gnu
-          # FIXME(rust-lang/rust#145699)
-          #- os: macos-13
-          #  env:
-          #    TARGET_TRIPLE: x86_64-apple-darwin
+          - os: macos-13
+            env:
+              TARGET_TRIPLE: x86_64-apple-darwin
           - os: macos-latest
             env:
               TARGET_TRIPLE: aarch64-apple-darwin