Skip to content

ci: update Nix inputs and adapt tests - #6

Open
Ramblurr wants to merge 2 commits into
mainfrom
fix/pr5-nyx-lint
Open

ci: update Nix inputs and adapt tests#6
Ramblurr wants to merge 2 commits into
mainfrom
fix/pr5-nyx-lint

Conversation

@Ramblurr

@Ramblurr Ramblurr commented Aug 6, 2026

Copy link
Copy Markdown
Contributor

Summary

  • update the flake inputs from the automated lock-file refresh
  • strengthen CSR validation assertions flagged as constant conditions
  • use get-in for nested SAN lookups that the updated analyzer otherwise mis-infers

Root cause

The Nixpkgs update changes clj-kondo from v2026.05.25 to v2026.07.24. The newer analyzer reports six previously accepted truthiness assertions and four false-positive type mismatches in the CSR tests. Runtime behavior and application dependencies are unchanged.

Validation

  • nix build .#checks.x86_64-linux.packages-default --no-link -L
  • 449 tests, 2268 assertions, 0 failures
  • clj-kondo: 0 errors, 0 warnings

Replaces #5.

github-actions Bot and others added 2 commits August 3, 2026 08:59
Flake lock file updates:

• Updated input 'devenv':
    'github:ramblurr/nix-devenv/d5044b8' (2026-07-03)
  → 'github:ramblurr/nix-devenv/5f2f837' (2026-07-29)
• Updated input 'devenv/flakelight':
    'github:nix-community/flakelight/fd1d557' (2026-06-15)
  → 'github:nix-community/flakelight/ea58c43' (2026-06-30)
• Updated input 'devenv/home-manager':
    'github:nix-community/home-manager/d8dac1f' (2026-06-22)
  → 'github:nix-community/home-manager/a1645f4' (2026-07-05)
• Updated input 'devenv/home-manager/nixpkgs':
    'github:NixOS/nixpkgs/3e41b24' (2026-06-16)
  → 'github:NixOS/nixpkgs/9e92285' (2026-07-01)
• Updated input 'nixpkgs':
    'https://api.flakehub.com/f/pinned/NixOS/nixpkgs/0.1.1027867%2Brev-d407951447dcd00442e97087bf374aad70c04cea/019f32d6-f801-7201-b6cb-59773d7eec95/source.tar.gz' (2026-07-05)
  → 'https://api.flakehub.com/f/pinned/NixOS/nixpkgs/0.1.1046609%2Brev-643809054d65fdd466a63e3155b8c498cb483c04/019fc6ca-7fa6-7ad3-a05c-e8e4d8fffab6/source.tar.gz' (2026-08-02)
@Ramblurr Ramblurr mentioned this pull request Aug 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant