Skip to content

opensmt: 2.7.0 -> 2.9.2#453424

Merged
7c6f434c merged 2 commits intoNixOS:masterfrom
yzhou216:opensmt-bump
Oct 19, 2025
Merged

opensmt: 2.7.0 -> 2.9.2#453424
7c6f434c merged 2 commits intoNixOS:masterfrom
yzhou216:opensmt-bump

Conversation

@yzhou216
Copy link
Contributor

@yzhou216 yzhou216 commented Oct 19, 2025

Resolves #453395

Things done

  • Built on platform:
    • x86_64-linux
    • aarch64-linux
    • x86_64-darwin
    • aarch64-darwin
  • Tested, as applicable:
  • 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.

@nixpkgs-ci nixpkgs-ci bot added 10.rebuild-linux: 1-10 This PR causes between 1 and 10 packages to rebuild on Linux. 10.rebuild-darwin: 0 This PR does not cause any packages to rebuild on Darwin. 10.rebuild-linux: 1 This PR causes 1 package to rebuild on Linux. labels Oct 19, 2025
@nix-owners nix-owners bot requested a review from 7c6f434c October 19, 2025 04:47
@yzhou216
Copy link
Contributor Author

yzhou216 commented Oct 19, 2025

nixpkgs-review result

Generated using nixpkgs-review-gha

Command: nixpkgs-review pr 453424
Commit: edc8a602baa19c5743bb860af9ea9e6d11469057 (subsequent changes)
Merge: 1e22a345084d6f4a8b261cb12ade52042ac9e5c2

Logs: https://github.com/yzhou216/nixpkgs-review-gha/actions/runs/18625596521

Download packages from cache:
  • x86_64-linux 
    nix-store -r --add-root nixpkgs-pr-453424-x86_64-linux \
  --option binary-caches 'https://cache.nixos.org/ https://yzhou216.cachix.org' \
  --option trusted-public-keys '
  cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=
  yzhou216.cachix.org-1:O7nGwQnLGGBGE8zYFMipVzPVN956FcV57y9SqwEP+O8=
  ' \
  /nix/store/ya9ackdf39m1bxc9hq35ngqjv190ahxh-opensmt-2.9.2

x86_64-linux

✅ 1 package built:
  • opensmt

aarch64-linux

✅ No rebuilds

x86_64-darwin

✅ No rebuilds

aarch64-darwin

✅ No rebuilds

@nixpkgs-ci nixpkgs-ci bot added the 12.approvals: 1 This PR was reviewed and approved by one person. label Oct 19, 2025
@Sigmanificient
Copy link
Member

Sigmanificient commented Oct 19, 2025

nixpkgs-review result

Generated using nixpkgs-review-gha

Command: nixpkgs-review pr 453424
Commit: edc8a602baa19c5743bb860af9ea9e6d11469057 (subsequent changes)
Merge: 1e22a345084d6f4a8b261cb12ade52042ac9e5c2

Logs: https://github.com/Sigmanificient/nixpkgs-review-gha/actions/runs/18625637242

x86_64-linux

✅ 1 package built:
  • opensmt

aarch64-linux

✅ No rebuilds

x86_64-darwin

✅ No rebuilds

aarch64-darwin

✅ No rebuilds

@7c6f434c 7c6f434c added this pull request to the merge queue Oct 19, 2025
Merged via the queue into NixOS:master with commit 3e1cfd9 Oct 19, 2025
28 of 31 checks passed
@Sigmanificient Sigmanificient mentioned this pull request Oct 25, 2025
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@Sigmanificient Sigmanificient Sigmanificient approved these changes

@7c6f434c 7c6f434c Awaiting requested review from 7c6f434c

Assignees

No one assigned

Labels

10.rebuild-darwin: 0 This PR does not cause any packages to rebuild on Darwin. 10.rebuild-linux: 1-10 This PR causes between 1 and 10 packages to rebuild on Linux. 10.rebuild-linux: 1 This PR causes 1 package to rebuild on Linux. 12.approvals: 1 This PR was reviewed and approved by one person.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Update Request: opensmt 2.7.0 → 2.9.2

3 participants

@yzhou216 @Sigmanificient @7c6f434c