Update everything again

It’s been a while, so update the PR.

Author: sellout

.config/project/default.nix

@@ -137,25 +137,14 @@
         os = "windows-2025";
       }
     ];
-    include =
-      lib.concatMap (bounds: [
-        {
-          inherit bounds;
-          ghc = "9.2.2";
-          os = "macos-15";
-        }
-        {
-          inherit bounds;
-          ghc = "9.4.2";
-          os = "windows-2025";
-        }
-      ])
-      ["" "--prefer-oldest"];
   };
 
   ## publishing
-  services.github.settings.repository.topics = [
-    "algebraic-structures"
-    "concurrency"
-  ];
+  services.github.settings.repository = {
+    private = false;
+    topics = [
+      "algebraic-structures"
+      "concurrency"
+    ];
+  };
 }