cryspen
diff --git a/‎.github/workflows/benches.yml‎
Lines changed: 18 additions & 18 deletions b/‎.github/workflows/benches.yml‎
Lines changed: 18 additions & 18 deletions
diff --git a/‎.github/workflows/docker-c-build-test.yml.tmpoff‎ renamed to ‎.github/workflows/docker-c-build-test.yml‎ b/‎.github/workflows/docker-c-build-test.yml.tmpoff‎ renamed to ‎.github/workflows/docker-c-build-test.yml‎
diff --git a/‎.github/workflows/docker-c-push-latest.yml.tmpoff‎ renamed to ‎.github/workflows/docker-c-push-latest.yml‎ b/‎.github/workflows/docker-c-push-latest.yml.tmpoff‎ renamed to ‎.github/workflows/docker-c-push-latest.yml‎
diff --git a/‎.github/workflows/ecdh-build-test.yml.tmpoff‎ renamed to ‎.github/workflows/ecdh-build-test.yml‎ b/‎.github/workflows/ecdh-build-test.yml.tmpoff‎ renamed to ‎.github/workflows/ecdh-build-test.yml‎
diff --git a/‎.github/workflows/get-hax-ref.yml.tmpoff‎ renamed to ‎.github/workflows/get-hax-ref.yml‎ b/‎.github/workflows/get-hax-ref.yml.tmpoff‎ renamed to ‎.github/workflows/get-hax-ref.yml‎
diff --git a/‎.github/workflows/github-reviews.yml.tmpoff‎ renamed to ‎.github/workflows/github-reviews.yml‎ b/‎.github/workflows/github-reviews.yml.tmpoff‎ renamed to ‎.github/workflows/github-reviews.yml‎
diff --git a/‎.github/workflows/github-skip-benches-in-prs.yml.disabled.tmpoff‎ renamed to ‎.github/workflows/github-skip-benches-in-prs.yml.disabled‎ b/‎.github/workflows/github-skip-benches-in-prs.yml.disabled.tmpoff‎ renamed to ‎.github/workflows/github-skip-benches-in-prs.yml.disabled‎
diff --git a/‎.github/workflows/github-stale.yml.tmpoff‎ renamed to ‎.github/workflows/github-stale.yml‎ b/‎.github/workflows/github-stale.yml.tmpoff‎ renamed to ‎.github/workflows/github-stale.yml‎
diff --git a/‎.github/workflows/kem-build-test.yml.tmpoff‎ renamed to ‎.github/workflows/kem-build-test.yml‎ b/‎.github/workflows/kem-build-test.yml.tmpoff‎ renamed to ‎.github/workflows/kem-build-test.yml‎
diff --git a/‎.github/workflows/libcrux-bench.yml.disabled.tmpoff‎ renamed to ‎.github/workflows/libcrux-bench.yml.disabled‎ b/‎.github/workflows/libcrux-bench.yml.disabled.tmpoff‎ renamed to ‎.github/workflows/libcrux-bench.yml.disabled‎
@@ -15,16 +15,16 @@ jobs:
       matrix:
         bits: [32, 64]
         os:
-          #- macos-13
-          #- macos-latest
+          - macos-13
+          - macos-latest
           - ubuntu-latest
-          #- windows-latest
-        #exclude:
-        #  # There's no such thing as 32-bit macOS
-        #  - bits: 32
-        #    os: "macos-latest"
-        #  - bits: 32
-        #    os: "macos-13"
+          - windows-latest
+        exclude:
+          # There's no such thing as 32-bit macOS
+          - bits: 32
+            os: "macos-latest"
+          - bits: 32
+            os: "macos-13"
     runs-on: ${{ matrix.os }}
     defaults:
       run:
@@ -94,16 +94,16 @@ jobs:
       matrix:
         bits: [32, 64]
         os:
-          #- macos-13
-          #- macos-latest
+          - macos-13
+          - macos-latest
           - ubuntu-latest
-          #- windows-latest
-        #exclude:
-        #  # There's no such thing as 32-bit macOS
-        #  - bits: 32
-        #    os: "macos-latest"
-        #  - bits: 32
-        #    os: "macos-13"
+          - windows-latest
+        exclude:
+          # There's no such thing as 32-bit macOS
+          - bits: 32
+            os: "macos-latest"
+          - bits: 32
+            os: "macos-13"
     runs-on: ${{ matrix.os }}
     defaults:
       run: