Dependency Dashboard

[renovate[bot]]

This issue lists Renovate updates and detected dependencies. Read the Dependency Dashboard docs to learn more.
View this repository on the Mend.io Web Portal.

Config Migration Needed

• [ ] Select this checkbox to let Renovate create an automated Config Migration PR.

Open

The following updates have all been created. To force a retry/rebase of any, click on a checkbox below.

• [ ] Update actions/checkout action to v5
• [ ] Lock file maintenance
• [ ] Click on this checkbox to rebase all open PRs at once

Detected dependencies

github-actions

.github/workflows/build.yml

.github/workflows/flakehub-publish.yml

• actions/checkout v4

haskell-cabal

category/categorifier-category.cabal

client/categorifier-client.cabal

common/categorifier-common.cabal

duoids/categorifier-duoids.cabal

ghc/categorifier-ghc.cabal

hedgehog/categorifier-hedgehog.cabal

integrations/adjunctions/integration-test/categorifier-adjunctions-integration-test.cabal

integrations/adjunctions/integration/categorifier-adjunctions-integration.cabal

integrations/categories/integration-test/categorifier-categories-integration-test.cabal

integrations/categories/integration/categorifier-categories-integration.cabal

integrations/concat-extensions/category/categorifier-concat-extensions-category.cabal

integrations/concat-extensions/integration-test/categorifier-concat-extensions-integration-test.cabal

integrations/concat-extensions/integration/categorifier-concat-extensions-integration.cabal

integrations/concat/integration-test/categorifier-concat-integration-test.cabal

integrations/concat/integration/categorifier-concat-integration.cabal

integrations/fin/integration/categorifier-fin-integration.cabal

integrations/ghc-bignum/integration-test/categorifier-ghc-bignum-integration-test.cabal

integrations/ghc-bignum/integration/categorifier-ghc-bignum-integration.cabal

integrations/linear-base/integration-test/categorifier-linear-base-integration-test.cabal

integrations/linear-base/integration/categorifier-linear-base-integration.cabal

integrations/unconcat/category/categorifier-unconcat-category.cabal

integrations/unconcat/integration-test/categorifier-unconcat-integration-test.cabal

integrations/unconcat/integration/categorifier-unconcat-integration.cabal

integrations/vec/integration-test/categorifier-vec-integration-test.cabal

integrations/vec/integration/categorifier-vec-integration.cabal

plugin-test/categorifier-plugin-test.cabal

plugin/categorifier-plugin.cabal

th/categorifier-th.cabal

nix

flake.nix

• concat lock file @ 7aa7d5ebe165161b7c0aafb8af006020534eaf70
• flake-utils lock file @ 11707dc2f618dd54ca8739b309ec4fc024de578b
• flaky lock file @ bfefbec80c852a0124392f2cbebbc35057493983
• nixpkgs release-25.05

---

• [ ] Check this box to trigger a request for Renovate to run again on this repository