verible: 0.0.3956 -> 0.0.4023

[GaetanLepage]

Things done

Diff: chipsalliance/verible@v0.0-3956-ge12a194d...v0.0-4023-gc1271a00

cc @hzeller @newAM

• 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.

---

Add a 👍 reaction to pull requests you find important.

[hzeller]

Thanks.
(locally tested and built x86 Linux successfully)

[qweered]

nixpkgs-review result

Generated using nixpkgs-review-gha

Command: nixpkgs-review pr 445793
Commit: 5381cfa83b27cf4d26e67e7596110c8e11f01e73 (subsequent changes)
Merge: 2cd06b97a09b7a12d980d707eb3b740feb7c599c

Logs: https://github.com/qweered/nixpkgs-review-gha/actions/runs/18036846588

---

x86_64-linux

✅ 2 packages built:

• verible
• veridian

---

aarch64-linux

✅ 2 packages built:

• verible
• veridian

---

x86_64-darwin

✅ No rebuilds

---

aarch64-darwin (sandbox = true)

❌ 1 package failed to build:

• verible

[hzeller]

The failure on darwin seems to be related to building bazel 7 not working on nix currently, so not related to this change.

[newAM]

Thanks for the update!