Skip to content

[haskell-updates] haskellPackages.crux: unbreak#403343

Merged
wolfgangwalther merged 4 commits intoNixOS:haskell-updatesfrom
sternenseemann:crux
May 2, 2025
Merged

[haskell-updates] haskellPackages.crux: unbreak#403343
wolfgangwalther merged 4 commits intoNixOS:haskell-updatesfrom
sternenseemann:crux

Conversation

@sternenseemann
Copy link
Member

Things done

  • Built on platform(s)
    • x86_64-linux
    • aarch64-linux
    • x86_64-darwin
    • aarch64-darwin
  • For non-Linux: Is sandboxing enabled in nix.conf? (See Nix manual)
    • sandbox = relaxed
    • sandbox = true
  • Tested, as applicable:
  • Tested compilation of all packages that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review rev HEAD". Note: all changes have to be committed, also see nixpkgs-review usage
  • Tested basic functionality of all binary files (usually in ./result/bin/)
  • 25.05 Release Notes (or backporting 24.11 and 25.05 Release notes)
    • (Package updates) Added a release notes entry if the change is major or breaking
    • (Module updates) Added a release notes entry if the change is significant
    • (Module addition) Added a release notes entry if adding a new NixOS module
  • Fits CONTRIBUTING.md.

Add a 👍 reaction to pull requests you find important.

@github-actions github-actions bot added the 6.topic: haskell General-purpose, statically typed, purely functional programming language label May 1, 2025
@nix-owners nix-owners bot requested review from maralorn and wolfgangwalther May 1, 2025 15:41
@github-actions github-actions bot added 10.rebuild-darwin: 1-10 This PR causes between 1 and 10 packages to rebuild on Darwin. 10.rebuild-linux: 1-10 This PR causes between 1 and 10 packages to rebuild on Linux. labels May 1, 2025
Copy link
Contributor

@wolfgangwalther wolfgangwalther left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM from reading through

@sternenseemann
Copy link
Member Author

Reformatted.

@wolfgangwalther
Copy link
Contributor

nixpkgs-review result

Generated using nixpkgs-review.

Command: nixpkgs-review pr 403343


x86_64-linux

✅ 15 packages built:
  • haskellPackages.crucible
  • haskellPackages.crucible-debug
  • haskellPackages.crucible-debug.doc
  • haskellPackages.crucible-llvm
  • haskellPackages.crucible-llvm.doc
  • haskellPackages.crucible-symio
  • haskellPackages.crucible-symio.doc
  • haskellPackages.crucible-syntax
  • haskellPackages.crucible-syntax.doc
  • haskellPackages.crucible.doc
  • haskellPackages.crux
  • haskellPackages.crux.doc
  • haskellPackages.what4_1_7
  • haskellPackages.what4_1_7.data
  • haskellPackages.what4_1_7.doc

@wolfgangwalther wolfgangwalther merged commit 3937cbe into NixOS:haskell-updates May 2, 2025
25 of 27 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

6.topic: haskell General-purpose, statically typed, purely functional programming language 10.rebuild-darwin: 1-10 This PR causes between 1 and 10 packages to rebuild on Darwin. 10.rebuild-linux: 1-10 This PR causes between 1 and 10 packages to rebuild on Linux.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants