Update Cabal cache for CI to pass (#445)

- Update Cabal cache
- Update badges in README and add a ci check so that they are always up
to date

.github/workflows/checks.yml

@@ -48,3 +48,18 @@ jobs:
 
     - name: Cabal check
       run: ./scripts/ci/check-cabal-files.sh
+
+  check-release-badges:
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v4
+
+    - name: Check README badges
+      run: |
+        for f in $(find ouroboros-consensus* *sop* -type f -name "*.cabal"); do
+          pkg=$(grep "^name: " $f | rev | cut -d' ' -f1 | rev)
+          ver=$(grep "^version: " $f | rev | cut -d' ' -f1 | rev)
+          echo "Checking badge for $pkg-$ver"
+          grep "$(echo $pkg | sed 's/-/--/g')-$ver" README.md
+        done

.github/workflows/ci.yml

@@ -25,7 +25,7 @@ jobs:
          os: [ubuntu-latest]
     env:
       # Modify this value to "invalidate" the Cabal cache.
-      CABAL_CACHE_VERSION: "2023-09-25"
+      CABAL_CACHE_VERSION: "2023-10-23"
 
     steps:
     - uses: actions/checkout@v4

README.md

@@ -1,9 +1,11 @@
 # [Ouroboros Consensus](https://input-output-hk.github.io/ouroboros-consensus/)
 
-[![consensus](https://img.shields.io/badge/ouroboros--consensus-0.9.0.0-blue)](https://input-output-hk.github.io/cardano-haskell-packages/package/ouroboros-consensus-0.9.0.0/)
-[![diffusion](https://img.shields.io/badge/ouroboros--consensus--diffusion-0.7.0.0-blue)](https://input-output-hk.github.io/cardano-haskell-packages/package/ouroboros-consensus-diffusion-0.7.0.0/)
-[![protocol](https://img.shields.io/badge/ouroboros--consensus--protocol-0.5.0.4-blue)](https://input-output-hk.github.io/cardano-haskell-packages/package/ouroboros-consensus-protocol-0.5.0.4/)
-[![cardano](https://img.shields.io/badge/ouroboros--consensus--cardano-0.7.0.0-blue)](https://input-output-hk.github.io/cardano-haskell-packages/package/ouroboros-consensus-cardano-0.7.0.0/)
+[![consensus](https://img.shields.io/badge/ouroboros--consensus-0.12.0.0-blue)](https://input-output-hk.github.io/cardano-haskell-packages/package/ouroboros-consensus-0.12.0.0/)
+[![diffusion](https://img.shields.io/badge/ouroboros--consensus--diffusion-0.8.0.1-blue)](https://input-output-hk.github.io/cardano-haskell-packages/package/ouroboros-consensus-diffusion-0.8.0.1/)
+[![protocol](https://img.shields.io/badge/ouroboros--consensus--protocol-0.5.0.7-blue)](https://input-output-hk.github.io/cardano-haskell-packages/package/ouroboros-consensus-protocol-0.5.0.7/)
+[![cardano](https://img.shields.io/badge/ouroboros--consensus--cardano-0.10.0.0-blue)](https://input-output-hk.github.io/cardano-haskell-packages/package/ouroboros-consensus-cardano-0.10.0.0/)
+[![sop-extras](https://img.shields.io/badge/sop--extras-0.1.0.0-blue)](https://input-output-hk.github.io/cardano-haskell-packages/package/sop-extras-0.1.0.0/)
+[![strict-sop-core](https://img.shields.io/badge/strict--sop--core-0.1.0.0-blue)](https://input-output-hk.github.io/cardano-haskell-packages/package/strict-sop-core-0.1.0.0/)
 
 [![docs](https://img.shields.io/badge/Documentation-yellow)](https://input-output-hk.github.io/ouroboros-consensus/)