Merge pull request #798 from IntersectMBO/jdral/move-bloomfilter-blocked

Move `bloomfilter-blocked` to its own repo

Author: dcoutts

.github/actions/print-cpu-info/action.yml

@@ -11,6 +11,7 @@ runs:
       run: cat /proc/cpuinfo
       shell: sh
 
-    - if: ${{ runner.os == 'Windows' }}
+    # TODO: wmic is no longer available by default on Windows, it seems. We should replace it.
+    - if: ${{ runner.os == 'Windows' && false }}
       run: wmic cpu get caption, deviceid, name, numberofcores, maxclockspeed, status
       shell: cmd

.github/workflows/check-release-builds.yml

@@ -4,7 +4,6 @@ on:
   push:
     tags:
       - blockio-*
-      - bloomfilter-blocked-*
       - lsm-tree-*
 
 concurrency:
@@ -50,7 +49,7 @@ jobs:
 
     env:
       tag-name: ${{ github.ref_name }}
-      release-build-target: ${{ startsWith(github.ref_name, 'blockio') && './blockio/blockio.cabal' || startsWith(github.ref_name, 'bloomfilter-blocked') && './bloomfilter-blocked/bloomfilter-blocked.cabal' || startsWith(github.ref_name, 'lsm-tree') && './lsm-tree/lsm-tree.cabal' }}
+      release-build-target: ${{ startsWith(github.ref_name, 'blockio') && './blockio/blockio.cabal' || startsWith(github.ref_name, 'lsm-tree') && './lsm-tree/lsm-tree.cabal' }}
 
     steps:
     - name: 🗄️ Print release build target

README.md

@@ -1,15 +1,14 @@
 # lsm-tree
 
 [![Hackage: lsm-tree](https://img.shields.io/hackage/v/lsm-tree?label=Hackage:%20lsm-tree)](https://hackage.haskell.org/package/lsm-tree)
-[![Hackage: bloomfilter-blocked](https://img.shields.io/hackage/v/bloomfilter-blocked?label=Hackage:%20bloomfilter-blocked)](https://hackage.haskell.org/package/bloomfilter-blocked)
 [![Hackage: blockio](https://img.shields.io/hackage/v/blockio?label=Hackage:%20blockio)](https://hackage.haskell.org/package/blockio)
 [![Build](https://img.shields.io/github/actions/workflow/status/IntersectMBO/lsm-tree/ci.yml?label=Build)](https://github.com/IntersectMBO/lsm-tree/actions/workflows/ci.yml)
 [![Haddocks](https://img.shields.io/badge/documentation-Haddocks-purple)](https://IntersectMBO.github.io/lsm-tree/)
 
-The [`lsm-tree`](./lsm-tree/README.md) package and its daughter packages
-[`blockio`](./blockio/README.md) and [`bloomfilter-blocked`](./bloomfilter-blocked/README.md) have
-been developed by Well-Typed LLP on behalf of the Cardano Development Foundation
-and Intersect. A [project report] and [integration notes] are available.
+The [`lsm-tree`](./lsm-tree/README.md) package and its daughter package
+[`blockio`](./blockio/README.md) have been developed by Well-Typed LLP on behalf
+of the Cardano Development Foundation and Intersect. A [project report] and
+[integration notes] are available.
 
 [project report]: https://github.com/IntersectMBO/lsm-tree/blob/main/doc/final-report/final-report.pdf
 [integration notes]: https://github.com/IntersectMBO/lsm-tree/blob/main/doc/final-report/integration-notes.pdf