cerberus: re-enable install-check tests

[siraben]

Re-enables the cerberus tests disabled in #512807. The failures came from Dune 3.21's deprecated_coq_lang warning polluting stderr via dune exec. Setting WITH_CERB=cerberus runs the installed binary directly. Verified: 188 passed, 0 failed.

Things done

• Built on platform:
  • x86_64-linux
  • aarch64-linux
  • x86_64-darwin
  • aarch64-darwin
• Tested, as applicable:
  • NixOS tests in nixos/tests.
  • Package tests at passthru.tests.
  • Tests in lib/tests or pkgs/test for functions and "core" functionality.
• Ran nixpkgs-review on this PR. See nixpkgs-review usage.
• Tested basic functionality of all binary files, usually in ./result/bin/.
• Nixpkgs Release Notes
  • Package update: when the change is major or breaking.
• NixOS Release Notes
  • Module addition: when adding a new NixOS module.
  • Module update: when the change is significant.
• Fits CONTRIBUTING.md, pkgs/README.md, maintainers/README.md and other READMEs.

[RossSmyth]

Thanks!

[RossSmyth]

@NixOS/nixpkgs-merge-bot merge

[Elec3137]

nixpkgs-review result

Generated using nixpkgs-review.

Command: nixpkgs-review pr 515118
Commit: df6d7e2a9c6635b3d177bc333e92e13b4e7ff0be

---

x86_64-linux

✅ 1 package built:

• cerberus

[nixpkgs-ci]

@RossSmyth wants to merge this PR.

Requirements to merge this PR with @NixOS/nixpkgs-merge-bot merge:

• ✅ PR targets a development branch.
• ✅ PR touches only files of packages in pkgs/by-name/.
• ✅ PR is at least one of:
  • ⬜ Approved by a committer.
  • ⬜ Backported via label.
  • ✅ Opened by a committer.
  • ⬜ Opened by @r-ryantm.
• ✅ PR is not a draft
• ✅ RossSmyth is a member of @NixOS/nixpkgs-maintainers.
• ✅ RossSmyth is a maintainer of all touched packages on the master branch.

✔️ Enabled Auto Merge (#306934)

Tip

Sometimes GitHub gets stuck after enabling Auto Merge. In this case, leaving another approval should trigger the merge.